ツォルンの補題
ツォルンの補題の条件は確認できたので、"P" には極大元が存在する。言い換えると、"R" には極大イデアルが存在する。