Доказательство
Будет проведено в 2 этапа. Сначала докажем, что крокодил
более длинный, чем зеленый, а потом - что он более зеленый,
чем широкий, после чего требуемое будет следовать из
транзитивности отношения "более".
Крокодил длинный сверху и снизу, а зеленый только сверху.
Следовательно, крокодил более длинный, чем зеленый.
Крокодил зеленый и вдоль, и поперек, а широкий только
поперек. Следовательно, крокодил более зеленый, чем широкий.
Что и требовалось доказать.
--
Нашей рассылке идёт 1967-й день и её получают 534 читателей