空間Xがあってそこに同値類が定義できたら同値類の代表元を選ぶのに選択公理いらないだろ