PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
geom
unique
1
2
1.
q:
2.
n1:
3.
n2:
4.
r1:
(q
n1)
5.
r2:
(q
n2)
6.
(q
n1
)+r1 =
(q
n2
)+r2
7.
n1 = n2
r1 = r2
By:
RWH (HypC 7) 6
Generated subgoals:
None
About:
(q
n1)(qn2)
(qn1
)+r1 = (qn2)+r2
r1 = r2 
