Na divisão de números naturais, sabemos que ao dividir x (dividendo) por y ≠ 0 (divisor) devemos encontrar um quociente q = [ y x ​ ] (maior número inteiro que é menor ou igual a y

Na divisão de números naturais, sabemos que ao dividir x (dividendo) por y ≠ 0 (divisor) devemos encontrar um quociente q =[yx​] (maior número inteiro que é menor ou igual a yx​ ) e um resto r < y satisfazendo a igualdade: x = y ⋅ q + r.

Assim, podemos escrever que o resto da divisão do natural x pelo natural y ≠ 0 é dado por: r = x - y ⋅q .

Com a intenção de trabalhar a capacidade de abstração de seus alunos, Solange definiu para eles o resto da divisão do número racional x pelo número racional y ≠ 0 como sendo: resto (x,y) = x - y ⋅ [yx​].

De acordo com essa definição, o valor de resto (25​, 71​) é