2. 0<n
3.
f:(
(n-1)
), m:(n-1+1).
3. sum(f(x) | x < n-1) = sum(f(x) | x < m)+sum(f(x+m) | x < n-1-m)
4. f :
n
5.
m:(n-1+1). sum(f(x) | x < n-1) = sum(f(x) | x < m)+sum(f(x+m) | x < n-1-m)
6. m :
(n+1)
7.
m = n-1
8. m = n
sum(f(x) | x < n) = sum(f(x) | x < m)+sum(f(x+m) | x < n-m)
