(16steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc

At: div floor mod unique 1 1 2 2 1 1 1
1. a:
2. n:
3. q:
4. r:
5. a = qn+r
6. r < n
7. q':
8. r':
9. a = q'n+r'
10. (q-q')n = r'-r
11. q = q'
12. x:
13. q-q' = x
|n||xn|
By: Lemmaize []
Generated subgoal:

11. n:
2. x:
|n||xn|		4 steps

About:
intaddsubtractmultiplyless_thanequal

(16steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc