Итак,
Теорема. Крокодил длиннее, чем шире.
Для Доказательства разобьем теорему на две леммы:
Лемма 1. Крокодил длиннее, чем зеленее.
Доказательство. Крокодил длинный и сверху и снизу, а зеленый только сверху.
Лемма 2. Крокодил зеленее, чем шире.
Доказательство. Крокодил зеленый и вдоль и поперек, а широкий только поперек.
Теорема доказана.
Аналогичным образом доказывается обратная теорема.
Из совокупности двух теорем некоторые делают вывод, что крокодил квадратен. Это неверно. Вспоминая, что все неравенства в наших выкладках были строгими, получаем единственный правильный вывод:
Крокодила не существует