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 ((xy) mod n) = (((x mod n)(y mod n)) mod n) | 2 steps |
About:
 |  |  |  |  |  |  |