Entonces formula_9 será válido a partir del número formula_21, es decir, para todo natural formula_22.