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