Теорема
КРОКОДИЛ БОЛЕЕ ДЛИHHЫЙ, ЧЕМ ШИРОКИЙ

Доказательство:
Разобьем теорему на две леммы

Лемма 1.
Крокодил более длинный, чем зеленый.
Доказательство. Крокодил длинный и сверху
и снизу, а зеленый только сверху.

Лемма 2.
Крокодил более зеленый, чем широкий.
Доказательство. Крокодил зеленый и в длину
и в ширину, а широкий только в ширину.

Следовательно, крокодил более длинный, чем широкий


Однако, аналогично доказывается обратная теорема.

КРОКОДИЛ БОЛЕЕ ШИРОКИЙ, ЧЕМ ДЛИHHЫЙ
Доказательство:

Лемма 1.
Крокодил более широкий, чем зеленый.
Доказательство. Крокодил широкий и сверху
и снизу, а зеленый только сверху.

Лемма 2.
Крокодил более зеленый, чем длинный.
Доказательство. Крокодил зеленый и в длину
и в ширину, а длинный только в длину.

Следовательно, крокодил более широкий, чем длинный.


Из этих двух теорем может сложиться впечатление,
что крокодил КВАДРАТНЫЙ, однако это неверно,
так как все неравенства строгие.

ВЫВОД:
КРОКОДИЛ НЕ СУЩЕСТВУЕТ