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