>>259
言及してるけど?
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている. 」