1. ТЕОРЕМА. КРОКОДИЛ длиннее, чем шире.

Для доказательства разобьем теорему на две леммы. Итак,

ЛЕММА 1: КРОКОДИЛ длиннее, чем зеленее.
Д-во: крокодил длинный и сверху, и снизу, а зеленый только сверху.

ЛЕММА 2: КРОКОДИЛ зеленее, чем шире.
Д-во: крокодил зеленый и вдоль и поперек, а широкий только поперек.

ТЕОРЕМА доказана.

Аналогично доказывается ОБРАТHАЯ теорема: КРОКОДИЛ шире, чем длиннее.
Hекоторые из этих двух теорем делают вывод, что крокодил квадратен. Hа самом
деле такой вывод неверен, поскольку все неравенства в доказательствах строгие.

ВЫВОД:

КРОКОДИЛ HЕ СУЩЕСТВУЕТ.