两个因子都大于 363636,所以每个 222 的幂都被 444 整除。第一个因子模 444 给出 b≡0(mod4)b\equiv0\pmod4b≡0(mod4);第二个给出 a≡0(mod4)a\equiv0\pmod4a≡0(mod4)。