命題
A を単位元を持つ可換環とする。
Spec(A) は穏和空間(>>259)である。

証明
I を A のイデアルとし E = V(I) が既約(>>258)であるとする。
>>244より Spec(A/I) は既約である。
>>264より P = rad(I) (>>229)は素イデアルである。
>>229より、E = V(P) である。
>>232より、V(P) は {P} の閉包である。
よって、P は E の生成点(>>257)である。
>>237より E の生成点は E により一意に決まる。
証明終