ii:{1..(1+n)
}, jj:
ii. 
f(ii) = f(jj)
i:1, j:i. f(i) = f(j)f:(n
(-1+n)). i:n, j:i. f(i) = f(j)(1+n)n (ii:{1..(1+n)}, jj:ii. f(ii) = f(jj)) 
(i:1, j:i. f(i) = f(j))| 1 | 4. ii:{1..(1+n)}, jj:ii. f(ii) = f(jj) i:1, j:i. f(i) = f(j) |
About:
 |  |  |  |  |
 |  |  |  |