由归纳假设,N−1N-1N−1 有有限展开 ∑aiϕi\sum a_i\phi^i∑aiϕi,其中 ai∈{0,1}a_i\in\{0,1\}ai∈{0,1}。反复用 ϕi+1+ϕi=ϕi+2\phi^{i+1}+\phi^i=\phi^{i+2}ϕi+1+ϕi=ϕi+2 替换最左边的相邻 1。最左相邻对移到更高指数,故过程终止,并得到对每个 iii 都有 aiai+1=0a_i a_{i+1}=0aiai+1=0。