奇数の因子は2のべきを一切供給できないので、3個の2はすべて1978^mから来なければならない。
法8の部分については 1978 n−m−11978^{\,n-m}-11978n−m−1 は奇数であるから、888 は 1978m1978^m1978m を直接割り切らなければならない。1978≡2(mod8)1978\equiv 2\pmod 81978≡2(mod8) なので、これは m≥3m\ge 3m≥3 のとき、かつそのときに限り成り立つ。