Digamos que formula_50, como formula_51 cubre a formula_25 entonces formula_53.