Лемма 1. Крокодил более длинный, чем широкий.

Доказательство.

Будет проведено в 2 этапа. Сначала докажем, что крокодил более длинный, чем зеленый, а потом - что он более зеленый, чем широкий, после чего требуемое будет следовать из транзитивности отношения "более".

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

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

Лемма 2. Крокодил более широкий, чем длинный.

Доказывается аналогично.

Обычно, из двух этих утверждений делают неверное заключение, что крокодил квадратный, однако из того факта, что оба неравенства - строгие, и вытекает Великая теорема крокодилов -

Крокодилов не существует.