Como formula_262 se debe cumplir que formula_263.