2. n:
3. 0
a
a = (a 
n)
n+(a rem n) & (a rem n) < n2. n:
3. a < 0
4. ((-a) rem n) = 0
a = (-((-a) n))n+0 & 0 < n2. n:
3. a < 0
4.
((-a) rem n) = 0 a = (-((-a) n)+-1)n+n-((-a) rem n) & n-((-a) rem n) < n
a:, n:. a = (a 
n)n+(a mod n) & (a mod n) < n
| 1 | 1. a: 2. n: 3. 0 a a = (a n)n+(a rem n) & (a rem n) < n | 1 step |
| 2 | 1. a: 2. n: 3. a < 0 4. ((-a) rem n) = 0 a = (-((-a) n))n+0 & 0 < n | 1 step |
| 3 | 1. a: 2. n: 3. a < 0 4. ((-a) rem n) = 0 a = (-((-a) n)+-1)n+n-((-a) rem n) & n-((-a) rem n) < n | 1 step |
About:
 |  |  |  |  |  |  |  |  |  |  |  |