ツォルンの補題
実際、 の平方元の和全体の成す部分集合 は前正錐 (prepositive cone) を成すから、ツォルンの補題により を含み を含まない極大な前正錐として正錐 が得られる。このとき順序 を