>>493
細かいが、証明のロジックもおかしい(重箱の隅ですまんが、教育的見地からゆるせ)

> 1. R^N の 〜 に関する完全代表系を1つ取って固定する。これを T とする。
> 2. x∈R^N を任意に取る。T の定義から、x〜t を満たす t∈T がただ1つ存在する。

・先に”完全代表系を1つ取って固定”したら、任意x∈R^N でx∈Tは言えないだろう
・任意x∈R^N でx∈Tが言えないとすれば、x〜t を満たす t∈T の存在も言えない ∵完全代表系だから
・”1つ存在”もおかしい。x∈Tで、かつ、いくつかt1,t2,t3,・・・ti∈Tとすれば、x〜t1,t2,t3,・・・tiだろ？　というか、任意のt∈Tでx〜t ∵完全代表系だから

（こういう記述が答案の冒頭にあると、答案採点者としては”不合格の推定”が働く。「こいつ分かってないな」と。答案書き出しの表現は、誤解されないように特に気を付けた方がいいな。（この記載が修正可能なのか、はたまた、修正して証明のロジックが成り立つのかまでは見てないがね））