entonces el resto seráformula_87, y se obtiene el resto: