x:
iii. 
fi = f(x)
i:(1+iii), j:i. f(i) = f(j)f:(n
(-1+n)). i:n, j:i. f(i) = f(j)(1+n)n
}ii:{iii..(1+n)}, jj:ii. f(ii) = f(jj)) 
(i:iii, j:i. f(i) = f(j))ii:{(1+iii)..(1+n)}, jj:ii. f(ii) = f(jj)n(x:iii. fi = f(x)) i:(1+iii), j:i. f(i) = f(j)| 1 | 9. x:iii. fi = f(x) i:(1+iii), j:i. f(i) = f(j) |
About:
 |  |  |  |  |
 |  |  |  |