Si formula_5, esto se simplifica en