Теорема Все лошади одного цвета
Доказательство (по индукции)При n = 1: В множестве состоящем из одной лошади утверждение, очевидно, выполнено. При n = k: Пусть имеется множество, состоящее из k+1 лошадей. Если убрать из него одну лошадь, то их останется k. По предположению индукции все они одного цвета. Теперь вернем на место убранную лошадь и заберем какую-либо другую. По предположению и эти k оставшихся лошадей одного цвета. Но тогда и все k+1 лошадей будут одного цвета.
Согласно принципу математической индукции, все лошади одного цвета