ЕЖ БОЛЕЕ ДЛИHHЫЙ, ЧЕМ ШИРОКИЙ

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

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

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

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

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

Теорема 2.
ЕЖ БОЛЕЕ ШИРОКИЙ, ЧЕМ ДЛИHHЫЙ

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

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

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

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

СЛЕДСТВИЕ:

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

ВЫВОД:

Еж не существует