A を環とする。Spec(A) の既約部分集合の集合は Spec(A) と１対１に
対応する。

証明
>>208 より V(I) が既約なためには rad(I) が素イデアルであることが
必要十分である。これより明らか。