Ahora suponemos que la proposición es cierta para todos los conjuntos de tamaño inferior a "n" y para los de tamaño "n".