命題
A を一般Boole環(>>6)とする。
Spec(A) (>>78) は一般Stone空間(>>440)である。

証明
>>425より、Spec(A) は０次元の局所コンパクト空間である。
よって、>>439より、Spec(A) は一般Stone空間である。
証明終