命題
２次体 Q(√m) において、任意の素イデアル P の共役イデアル P' は
素イデアルであり、PP' = N(P)Z[ω] となる。

証明
P' が素イデアルであることは共役イデアルの定義より明らか。

>>60, >>61, >>62, >>63 と >>47 の 3), >>49 の 3)
および >>25 よりわかる。

証明終