: крокодил более длинный, чем зеленый.
· Доказательство: крокодил длинный и сверху и снизу, а зеленый только сверху.
· Лемма 2: крокодил более зеленый, чем широкий.
· Доказательство: крокодил зеленый и вдоль и поперек, а широкий только поперек.
· Теорема 1: крокодил более длинный, чем широкий.
· Доказательство
(
Read more... )