命題
X を極大条件(過去スレ021の397)を満たす束(過去スレ021の156)とする。
このとき>>182の写像 g：MP(X) → Spec(X) は順序同型である。

証明
>>182より f は順序埋め込み(過去スレ021の227)である。
よって、f が全射であることを証明すればよい。
過去スレ021の398より X は昇鎖律(過去スレ021の395)を満たす。
よって、>>152より X の任意のイデアル(過去スレ021の527)は単項イデアル(>>136)である。
よって、g は全射である。
証明終