PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
en
surj
2
1
2
1
1
1
1.
n:
2.
m:
3.
0 < m
4.
k:
5.
0
k
6.
k < n
(n
m-1)
(k
n) < (n
m-1)
By:
BackThru
Thm*
a:
, n:
, k:
. a < n
k
(a
n) < k
Generated subgoals:
None
About:
k
(n
m-1)
(k 
n) < (nm-1)
a:, n:, k:. a < nk 
(a n) < k
