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