3 で割れない定数係数があるため、打ち消しには g の次の係数も 3 の倍数でなければならない。
定数項が 3 なので b0,c0b_0,c_0b0,c0 の一方は 3 の倍数である。因子を交換して 3∣b03|b_03∣b0、3∤c03\nmid c_03∤c0 とする。xxx の係数が 0 であることから 3∣b13|b_13∣b1、同じ比較を繰り返して 3∣bn−23|b_{n-2}3∣bn−2 を得る。