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