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

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

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

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

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

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

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

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


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

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

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

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

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


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

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

Gram а где же доказательство от прАтивного?

Gram почти логично