しれっと書くペテン師、ハーバードの応用数学者
R^N/〜の代表系を選んだところで選択公理を使っている。その結果R^N->R^N/〜の切断は非可測になる