Supongamos que formula_2, entonces formula_3.