En términos de la función parte entera formula_3, el resto se puede definir como: