А русским езыком сказать слабо, да?

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