命題
A を単位元を持つ可換環とする。
このとき、Spec(A) が既約(>>258) ⇔ nil(A) (>>260)が素イデアル

証明
過去スレ001の208で証明済みである。