Крокодил более длинный чем широкий:

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

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

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

=> Крокодил более длинный, чем широкий

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

Крокодил более широкий чем длинный

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

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

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

=>Крокодил более широкий, чем длинны