Entonces, formula_34 Lo que prueba que para cada formula_23 en formula_29.