PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
geom
unique
q:
, n1,n2:
, r1:
(q
n1), r2:
(q
n2).
(q
n1
)+r1 =
(q
n2
)+r2
n1 = n2 & r1 = r2
By:
UnivCD
Generated subgoal:
1
1.
q:
2.
n1:
3.
n2:
4.
r1:
(q
n1)
5.
r2:
(q
n2)
6.
(q
n1
)+r1 =
(q
n2
)+r2
n1 = n2 & r1 = r2
About: