В честь пятницы — доказательство по индукции, что все лошади одного цвета: База индукции: Одна лошадь, очевидно, одного цвета Индукционный переход: Пусть доказано, что любые K лошадей одного цвета. Рассмотрим K + 1 каких-то лошадей. Уберём одну из них. Оставшиеся K лошадей одного цвета по предположению индукции. Возвратим убранную лошадь и уберём другую. Оставшиеся K лошадей снова будут одного цвета. Значит, все K + 1 лошадей одного цвета Следовательно, вообще все лошади одного цвета