La prueba que formula_32 se realiza por primera probando que formula_33, y luego probando que formula_34 obviamente este procedimiento es válido.