2. x : A
3. f : A
A
4. i :
5. j :
6.
j1:. j1<j 
(k:. k = i
j1 f{
i}{j1}(x) = f{k}(x))
7. k :
8. k = i
j
9.
j = 0
10.
i = 0
11. i
1
ij
f{i}{j}(x) = f{k}(x)A
j1:. j1<j (k:. k = ij1 f{i}{j1}(x) = f{k}(x))
j
j = 0
i = 0
1ij
f{i}{j}(x) = f{k}(x)| By: |
f:(AA), i: , x:A. f{i}(x) = f(f{i-1}(x)) ...w
Using:[f:= f{ i} | i:= j] ... |
| 1 |
f{i}(f{i}{j-1}(x)) = f{k}(x) | 4 steps |
About:
 |  |  |  |  |  |  |  |  |  |  |