n)
n
(a rem n)+(a n)n4. (a rem n) < n
n(a n) a < n((a n)+1)
(a rem n) n(a n) a < n((a n)+1) n)n)] []
Thm* 
a,b,n:
. ab 
a+nb+n)
3| 1 | 3. 0+(a n)n(a rem n)+(a n)n 4. (a rem n) < n n(a n) a < n((a n)+1) |
About:
 |  |  |  |  |  |