Экзамен в зооинституте.
Студент тянет билет, в билете: "Докажите теорему, что крокодил длиннее,
чем шире". Садится, готовится, подходит к преподу, говорит: "Для того,
чтобы доказать теорему о том, что крокодил длиннее, чем шире, надо
доказать две леммы: 1. Что крокодил длиннее, чем зеленее.
2. Что крокодил зеленее, чем шире.
Первая лемма доказывается так: крокодил длинный сверху и снизу, а
зелёный только сверху, поэтому он длиннее, чем зеленее. Вторая лемма -
крокодил зелёный вдоль и поперёк, а штрокий только поперёк, поэтому он
зеленее, чем шире. Отсюда вывод: крокодил длиннее, чем шире."