0
(b 
m) (b m) < n 0(b rem m) (b rem m) < m 1of( < b m,b rem m > )
m+2of( < b m,b rem m > ) = b 
(nm)n
m 01of(a)m+2of(a)nm 1of(a)m+2of(a) < nm
(nm) 
a:(nm). 1of(a)m+2of(a) = b (nm) m,b rem m > | 1 | 0(b m) |
| 2 | (b m) < n |
| 3 | 0(b rem m) |
| 4 | (b rem m) < m |
| 5 | 1of( < b m,b rem m > )m+2of( < b m,b rem m > ) = b (nm) |
| 6 | 4. a: nm 01of(a)m+2of(a) |
| 7 | 4. a: nm 1of(a)m+2of(a) < nm |
About:
 |  |  |  |  |
 |  |  |  |  |