x,y:
, n:
. ((x+y) mod n) = (((x mod n)+(y mod n)) mod n)
a:, n:. a = (a 
n)
n+(a mod n) & (a mod n) < n
[x;n]
a:, n:. a = (a n)n+(a mod n) & (a mod n) < n
[y;n]
a:, n:. a = (a n)n+(a mod n) & (a mod n) < n
[(x mod n)+(y mod n);n]
| 1 | 1. x: 2. y: 3. n: 4. x = (x n)n+(x mod n)5. (x mod n) < n 6. y = (y n)n+(y mod n)7. (y mod n) < n 8. (x mod n)+(y mod n) = (((x mod n)+(y mod n)) n)n+(((x mod n)+(y mod n)) mod n)9. (((x mod n)+(y mod n)) mod n) < n ((x+y) mod n) = (((x mod n)+(y mod n)) mod n) | 1 step |
About:
 |  |  |  |  |  |  |