Теорема:крокодил более длиный,чем широкий.
Доказательство:возьмем произвольного крокодила и докажем 2 вспомогательные леммы.
Лемма№1:крокдил более длинный,чем зеленый.
Доказательство леммы:
Посмотрим на крокодила сверху-он зеленый и длинный.
Посмотрим на крокодила снизу-он длинный,но не такой зеленый(скорее,темно-серый).
Следовательно,лемма№1 доказана.
Лемма№2:Крокодил более зеленый,чем широкий.
Доказательство леммы:
Посмотрим на крокодила ещё раз сверху-он зеленый и широкий.
Посмотрим на крокодила сбоку-он зелный,но не широкий.
То ест,лемма №2 доказана.
Подтверждение теоремы следует из доказанных лемм.
[400x249]