El error está en el paso de n a n+1, de los n+1 caballos se hace dos conjuntos de n caballos pero para que el argumento funcione esos conjuntos deben tener intersección no vacía lo cual sólo se cumple para n mayor o igual que 3 y en n=2 es falso.