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