PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
geom
n
unique
1
1
1.
q:
2.
n:
3.
i:
4.
r1:
(q
n)
5.
r2:
(q
n+i)
6.
(q
n
)+r1 =
(q
n+i
)+r2
7.
(q
n
)+(q
n)
(q
n+i
)
False
By:
Inst
Thm*
m:
, n:
. 0 < (m
n) [q;n]
Generated subgoals:
None
About:
(q
n)(qn+i)
(qn
)+r1 = (qn+i)+r2(qn)+(qn)
(qn+i)
False
m:, n:. 0 < (mn)
[q;n]
