Vedi l'idea descritta nel precedente commento.
qu(0,Sy) = 0 [0 diviso per un numero positivo ha quoziente 0]
qu(Sx,y ) = qu(x,y) + 1 sgn( dist(y, S re(x,y)) ) [aggiungo 1 se il successore del precedente resto è uguale a y]