表示した桁数をもつ a1a_1a1 を取る。これは 2k>2(k+n−1)2^k>2(k+n-1)2k>2(k+n−1) とすれば可能である。このとき S(a1)=2kS(a_1)=2^kS(a1)=2k、P(a1)=2k+n−1P(a_1)=2^{k+n-1}P(a1)=2k+n−1 である。ゆえに和は狭義に増加し、各 S(ai)S(a_i)S(ai) は次の積に等しく、S(an)=P(a1)S(a_n)=P(a_1)S(an)=P(a1) となる。