Si hay "n" + 1 caballos en un conjunto, retiramos un caballo para obtener un conjunto resultante de "n" caballos y, por la suposición de inducción, todos los caballos en ese conjunto son del mismo color.