2. n:
3. x = (x
n)
n+(x mod n)4.
c:. x = nc
(x mod n) = 02. n:
3. x = (x
n)n+(x mod n)4. (x mod n) = 0
c:. x = nc
x:, n:. (n | x) 
(x mod n) = 0
a:, n:. a = (a n)n+(a mod n)
[x;n]
| 1 | 1. x: 2. n: 3. x = (x n)n+(x mod n)4. c:. x = nc (x mod n) = 0 | 2 steps |
| 2 | 1. x: 2. n: 3. x = (x n)n+(x mod n)4. (x mod n) = 0 c:. x = nc | 1 step |
About:
 |  |  |  |  |  |  |