Список проголосовавших за комментарий "Теорема 1.<br/> Утверждение: Крокодил более длинный, чем широкий.<br/> <br/> Доказательство будет проведено в 2 этапа. Сначала докажем, что крокодил <br/> более длинный, чем зеленый, а потом — что он более зеленый, <br/> чем широкий, после чего требуемое будет следовать из <br/> транзитивности отношения «более».<br/> <br/> 1. Крокодил длинный сверху и снизу, а зеленый только сверху.<br/> Следовательно, крокодил более длинный, чем зеленый.<br/> 2. Крокодил зеленый и вдоль, и поперек, а широкий только <br/> поперек. Следовательно, крокодил более зеленый, чем широкий.<br/> Что и требовалось доказать."