>>460
系3.12に選択公理って使ってるの?
別にそれは問題でも何でも無いけど