5. Div(a;n;p)
6. (a
n) = p7. q:
8. Div(a-n;n;q)
9. ((a-n)
n) = q
(a n) = ((a-n) n)+1
n
q:. Div(a;n;q) & (a n) = qq:. Div(a-n;n;q) & ((a-n) n) = q (a n) = ((a-n) n)+1| 1 | 4. p: 5. Div(a;n;p) 6. (a n) = p7. q: 8. Div(a-n;n;q) 9. ((a-n) n) = q (a n) = ((a-n) n)+1 |
About:
 |  |  |  |  |  |  |  |