Dividiendo por formula_4, se obtiene