блин, я знаю теорему о зелёных слонах )))
надо попробовать связать с теоремой Лобачевского в неевклидовой геометрии о пересекающихся параллельных прямых...
теоремма 1. Все зеленые слоны умеют летать.
Доказательство. Предположим обратное. А именно такое утверждение: Есть хотя бы один зеленый слон который не умеет летать. Но так как зеленых слонов не бывает, то и нету такого зеленого слона который не умел бы летать. Мы получили противоречие. Следовательно - все зеленые слоны умеют летать.
|