選択公理がなりたつと仮定する
このとき、選択公理が成り立つ
よって選択公理は正しい