>>67
あ〜、そうか。
>f:R^N → R^N/〜 は全単射である.
の部分は取り消しで、その直後(>>41)の
>実数列 {x_n}∈R^N/〜 を任意に取る.
の部分で「{x_n}が収束する」ことが仮定されるのか。