Puesto que tenemos una prueba de que formula_3, tenemos formula_4 lo que llega a la contradicción que se pretende.