Hence the first horse, middle horses, and last horse are all of the same color, and we have proven that:*If formula_2 horses have the same color, then formula_3 horses will also have the same color.
При formula_2 (база индукции) получаемые множества оставшихся лошадей не будут пересекаться, и утверждение о равенстве цветов всех лошадей сделать нельзя.