Tеорема: Крокодил более длинный, чем широкий.
Для доказательства докажем 2 леммы.
1. Крокодил более длинный, чем зеленый.
Крокодил длинный и снизу, и сверху, а зеленый только сверху.
2. Крокодил более зеленый, чем широкий.
Крокодил сверху и зеленый, и широкий, а сбоку только зеленый, что доказывает лемму.
По закону транзитивности: широкий<зеленый<длинный.
Обратная теорема: Крокодил более широкий, чем длинный.
1. Крокодил более широкий чем зеленый
Крокодил широкий и снизу и сверху, а зеленый только сверху.
2. Крокодил более зеленый чем длинный
Крокодил зеленый и сверху, и сзади, но длинный только сверху.
По закону транзитивности: длинный<зеленый<широкий
Из всего этого следовало бы, что крокодил квадратный, но поскольку
неравенества строгие, КРОКОДИЛОВ НЕ СУЩЕСТВУЕТ.
стырено у Hel-M