Entonces, para todo formula_46 natural se cumple que