PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
en
surj
2
1
2
1
1
1.
n:
2.
m:
3.
0 < m
4.
k:
5.
0
k
6.
k < (n
m)
(k
n) < (n
m-1)
By:
RWH (LemmaC
Thm*
n,k:
. 0 < k
(n
k) = n
(n
k-1)) 6
Generated subgoal:
1
6.
k < n
(n
m-1)
(k
n) < (n
m-1)
About:
(n
m-1)
(k 
n) < (nm-1)
km) (k n) < (nm-1)
n,k:. 0 < k 
(nk) = n(nk-1))
6(nm-1) (k n) < (nm-1)
