>>80
証明には選択公理が必要。