Pero luego formula_56, contradiciendo la hipótesis de que formula_42.