Donde además debe cumplirse que formula_3.