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