ステップ4より S(B)≡44444444≡7(mod9)S(B) \equiv 4444^{4444} \equiv 7 \pmod 9S(B)≡44444444≡7(mod9)(ステップ5)。ステップ2–3より 1≤S(B)≤121 \le S(B) \le 121≤S(B)≤12(正の整数の桁の和なので少なくとも 111 である)。{1,…,12}\{1, \ldots, 12\}{1,…,12} の中で 999を法として 777 に合同な整数は 777 自身のみである(次の候補 161616 はすでに上限を超えている)。したがって S(B)=7S(B) = 7S(B)=7。■\blacksquare■