Idea:

7 | 3     8 | 3     9 | 3
   ———       ———       ———
1   2     2   2     0   3

Man mano che incremento il 1° termine della divisione si incrementa il resto, fino a che il resto rimane minore del 2° termine; a quel punto avanza di 1 il quoziente e il resto diventa 0; e così via. Traduzione dell'idea nel CE (sottointendendo di aggiungere le equazioni che caratterizzano sgn, dist e ·):
re(0,Sy) = 0 [0 diviso per un numero positivo ha resto 0]
re(Sx,y ) = S re(x,y) · sgn( dist(y, S re(x,y)) ) [moltiplico per un numero che è 0 se il successore del precedente resto è uguale a y]