0
n
n
(nn) 0(x 
n)(nn) (x n) < n(nn) 0(x rem n)(nn) (x rem n) < n Bij((nn); T
T; 
x. < f(x n),f(x rem n) > )n
Tn; T; f) 
n:, f:(nTT). Bij(n; TT; f)n;x. < f(x n),f(x rem n) > ]| 1 | 0nn |
| 2 | 7. x: (nn) 0(x n) |
| 3 | 7. x: (nn) (x n) < n |
| 4 | 7. x: (nn) 0(x rem n) |
| 5 | 7. x: (nn) (x rem n) < n |
| 6 | Bij((nn); TT; x. < f(x n),f(x rem n) > ) |
About:
 |  |  |  |  |  |
 |  |  |  |  |  |