(16steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
At:
div
rem
unique
1
1
2
1
1.
a:
2.
n:
3.
q:
4.
r:
5.
a = q
n+r
6.
|r| < |n|
7.
r < 0
a < 0
8.
r > 0
a > 0
9.
q':
10.
r':
11.
a = q'
n+r'
12.
(q-q')
n = r'-r
13.
q = q'
|r'| < |n|
(r' < 0
a < 0)
(r' > 0
a > 0)
q = q' & r = r'
By:
Auto
Generated subgoal:
1
14.
|r'| < |n|
15.
r' < 0
a < 0
16.
r' > 0
a > 0
r = r'
1
step
About:
(16steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
a < 0 a > 0
r = r'
n+r
a < 0
a > 0
n+r'
n = r'-r
|r'| < |n| (r' < 0 a < 0) (r' > 0 a > 0) q = q' & r = r'
a < 0 a > 0 r = r'
