このように、どのような反例を提案しても、その反例が消滅することが
「より一般的な形で」(1)によって既に示されてるんだよ。

なにが「厚く書かなければならない」だよ。書き直す必要はないんだよ。
現状のままで証明になってるんだよ。どうしても「(B)専用の証明が欲しい」のであれば、

・ (B)のケースでは、どのR−B_{N,M}とR−A_iもRの中で稠密である。

という一文を書いたあとに、>>282の(1)の議論をコピペしてくれば、(B)専用の証明が完成する。
(1)によって一般的に書けているのだから、わざわざ(B)に特化させるメリットは全くないのだが、
あくまでも(B)専用の証明が欲しいのであれば、このようにすれば十分である。

これで満足か？