以上をまとめる。

円分整数 f(ζ) のノルムがλと異なる素数 p とする。
>>203 より p ≡ 1 mod λ である。
>>214 より >>212 の条件(ⅰ), (ⅱ) を満たす有理整数 k が存在する。
>>212 より ζ ≡ k mod f(ζ) となる。

>>201と同様にして円分整数 g(ζ) が で割れるかどうかを
判定するのは簡単である。
ζ ≡ k mod f(ζ) だから、任意の円分整数 g(ζ) にたいして、
g(ζ) ≡ g(k) mod f(ζ) となる。
よって、g(k) ≡ 0 mod p となるかどうかを判定すればよい。
これから >>202 と同様にして f(ζ) が円分素数であることが分かる。