由 nnn 个 000，mmm 个 111 构成的字符串
f(s)=∑[si=0][si+1=1]if(s) = \sum [s_i = 0][s_{i+1} = 1]if(s)=∑[si=0][si+1=1]i
求证
