不被 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。