Si formula_72 entonces