PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
en
surj
2
1
2
1.
n:
2.
m:
3.
0 < m
4.
k:
(n
m)
(k
n) < (n
m-1)
By:
Analyze 4
Generated subgoal:
1
4.
k:
5.
0
k < (n
m)
(k
n) < (n
m-1)
About:
k < (n
m)
(k 
n) < (nm-1)
(nm) (k n) < (nm-1) k < (nm) (k n) < (nm-1)
