18/10/18 18:37:49.78 FRX6HLIy.net
このように、どのような反例を提案しても、その反例が消滅することが
「より一般的な形で」(1)によって既に示されてるんだよ。
なにが「厚く書かなければならない」だよ。書き直す必要はないんだよ。
現状のままで証明になってるんだよ。どうしても「(B)専用の証明が欲しい」のであれば、
・ (B)のケースでは、どのR－B_{N,M}とR－A_iもRの中で稠密である。
という一文を書いたあとに、>>282の(1)の議論をコピペしてくれば、(B)専用の証明が完成する。
(1)によって一般的に書けているのだから、わざわざ(B)に特化させるメリットは全くないのだが、
あくまでも(B)専用の証明が欲しいのであれば、このようにすれば十分である。
これで満足か？