Supongamos que formula_158.