Los números que son de la forma formula_3 generan formula_4 y estos son menores que el número de partida para todo n natural.