n6. f(x) = n-1
f(n) 
(-1+n)n6.
f(x) = n-1 f(x) (-1+n)
f:(n
(-1+n)). 
i:n, j:i. f(i) = f(j)(1+n)nii:{1..(1+n)
}, jj:ii. f(ii) = f(jj) (
x.if f(x)=
n-1
f(n) else f(x) fi) n(-1+n)| 1 | 5. x: n 6. f(x) = n-1 f(n) (-1+n) |
| 2 | 5. x: n 6. f(x) = n-1 f(x) (-1+n) |
About:
 |  |  |  |  |  |
 |  |  |  |  |  |