Теорема: Крокодил более длинный чем широкий.
Доказательство: Возьмём произвольного крокодила и докажем две вспомогательные леммы.
Лемма 1: Крокодил более длинный чем зелёный.
Доказательство: Посмотрим на крокодила сверху - он длинный и зелёный. Посмотрим на крокодила снизу - он длинный, но не такой зелёный (на самом деле он тёмно-серый).
Следовательно, лемма 1 доказана.
Лемма 2: Крокодил более зелёный чем широкий.
Доказательство: Посмотрим на крокодила ещё раз сверху. Он зелёный и широкий. Посмотрим на крокодила сбоку: он зелёный, но не широкий. Это доказывает лемму 2.