Что неверно в моем доказательстве? Докажем, что все коты одной и той же породы. Пусть A(n)={любые `n` котов имеют одну и ту же породу}. Докажем, что A(n) справедливо для всех `n` методом математической индукции. Очевидно, что утверждение A(1) истинно (любой кот имеет одну породу). База индукции выполняется. Предположим, что A(k) верно (т. е. любые `k` котов имеют одну и ту же породу) и докажем, что тогда и A(k+1) будет верно. Рассмотрим (k+1) кота. Выделим двумя способами группы из `k` котов. Тогда часть котов попадёт в каждую из двух групп. Очевидно, что кот 1 имеет ту же породу, что и все коты из 2 (т. к. они все находятся в группе 'x` состоящей из `k` котов); ясно также, что кот 3 имеет ту же породу, что и коты 2, так как они все находятся в группе `y` из `k` котов. Получаем, что k+1 котов обязательно будут одной и той же породы. Утверждение доказано.