Se debe demostrar que se cumple para formula_12.