Теорема. Крокодил более длинный, чем широкий. Доказательство. Будет проведено в 2 этапа. Сначала док...

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

*Максимальное кол-во символов - 500. Ручная модерация.