Лемма 1: Крокодил более длинный чем зелёный.
Доказательство: Посмотрим на крокодила сверху - он длинный и зелёный. Посмотрим на крокодила снизу - он длинный, но не такой зелёный (на самом деле он тёмно-серый).
Следовательно, лемма 1 доказана.
Лемма 2: Крокодил более зелёный чем широкий.
Доказательство: Посмотрим на крокодила ещё раз сверху. Он зелёный и широкий. Посмотрим на крокодила сбоку: он зелёный, но не широкий. Это доказывает лемму 2.
Утверждение теоремы следует из доказанных лемм.

"Обpатная теоpема: "Кpокодил более шиpокий, чем длинный" доказывается аналогично.
Hа пеpвый взгляд из обоих теорем следует, что кpокодил - квадpатный. Однако, поскольку все неpавенства - стpогие, то настоящий математик сделает единственно пpавильный вывод: КРОКОДИЛОВ HЕ СУЩЕСТВУЕТ!"
//-----------------------------------------------------------------------------------

Вот ещё про немецкого математика Цермело забавная история есть:
(см., например, http://wirade.ru/cgi-bin....1437735 )

КЛАССИФИКАЦИЯ МАТЕМАТИКОВ
Эрнст Цермело (1871-1953), немецкий математик, один из основателей теории множеств, был приват-доцентом, то есть внештатным преподавателем с почасовой оплатой, в Геттингенском университете, когда деканом математического факультета был другой выдающийся ученый - Феликс Клейн (1849-1925). Декан держал творческие устремления своих сотрудников в железной узде.
Однажды на лекции по математической логике Цермело смутил студентов такой логической задачкой:
- Все математики Геттингена принадлежат к двум классам. Одни делают то, что не нравится им, но нравится Клейну. Другие делают то, что нравится им, но не нравится Клейну. К какому классу относится в таком случае сам герр Клейн?
Никто не мог ответить. Тогда Цермело воскликнул:
- Но это же очень просто! Сам Феликс Клейн - не математик!