(0 
n) = 0 n) = 0 |a rem n| < |n| & ((a rem n) < 0 
a < 0) & ((a rem n) > 0 a > 0)
n)
n+(a rem n)
|a rem n| < |n| & ((a rem n) < 0 a < 0) & ((a rem n) > 0 a > 0)
n) = 0)
| 1 | (0 n) = 0 | 4 steps |
| 2 | 4. (0 n) = 0 |a rem n| < |n| & ((a rem n) < 0 a < 0) & ((a rem n) > 0 a > 0) | 1 step |
About:
 |  |  |  |  |  |  |  |  |  |