>>204 の続き：

b は p で割れないから bc ≡ 1 mod p となる有理整数 c がある。
p ≡ 0 mod (a + bζ) だから bc ≡ 1 mod (a + bζ) でもある。
a + bζ ≡ 0 mod (a + bζ) の両辺に c を掛けて
ac + ζ ≡ 0 mod (a + bζ) となる。
よって ζ ≡ -ac mod (a + bζ) となる。
k = -ac とおく。

>>201と同様にして円分整数 f(ζ) が a + bζ で割れるかどうかを
判定するのは簡単である。

ζ ≡ k mod (a + bζ) だから f(ζ) ≡ f(k) mod (a + bζ) となる。
よって、f(k) ≡ 0 mod p となるかどうかを判定すればよい。
これから >>202 と同様にして a + bζ が円分素数であることが分かる。