2. 0<k
3.
f:(
(k-1)
(k-1)). increasing(f;k-1) 
(i:(k-1). f(i) = i)
4. f :
kk
5. increasing(f;k)
6.
k
7. j :
(k-1)
f(j) 
(k-1)
f:((k-1)(k-1)). increasing(f;k-1) (i:(k-1). f(i) = i)
kk
k
(k-1)
f(j) (k-1)| By: |
|
| 1 |
f(j) (k-1) | 5 steps |
About:
 |  |  |  |  |  |  |  |  |  |