>>457 系3.12に選択公理使ってるの?