>>309
>時枝が言ってるところでは選択公理は使う必要はない
では選択関数 f:R^N/〜→R^N を具体的に構成してみて下さい