Supongamos que formula_3.