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