Для любителей поразмышлять:

Для любителей поразмышлять:

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

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

Разобьем теорему на две леммы:
Лемма 1.
Крокодил более длинный, чем зеленый.
Доказательство: крокодил длинный и сверху и снизу, а зеленый только сверху.
Лемма 2.
Крокодил более зеленый, чем широкий.
Доказательство: крокодил зеленый и в длину и в ширину, а широкий только в
ширину.
Из леммы 1 и леммы 2, с yчетом тpанзитивности отношения "более... чем...",
следует: Крокодил более длинный, чем широкий

Контр-теорема:
Крокодил более широкий, чем длинный.
Доказательство:
Разобьем теорему на две леммы
Лемма 1.
Крокодил более широкий, чем зеленый.
Доказательство: крокодил широкий и сверху и снизу, а зеленый только сверху.
Лемма 2.
Крокодил более зеленый, чем длинный.
Доказательство: крокодил зеленый и в длинну и в ширину, а длинный только в
длинну.
Опять же, из леммы 1 и леммы 2 следует: Крокодил более широкий, чем длинный.

Из этих двух теорем может сложиться впечатление, что крокодил квадратный, однако
это неверно,
так как все неравенства строгие

ВЫВОД:
Крокодил не существует.

Да: