>>25
＞一方で、１）の場合については、補集合が「R中稠密でない」から、
＞“Q”（開集合の存在）を含意しているから、証明の必要もない。

間違っている。確かに、R−B_f が R の中で稠密でないという性質からは
命題 Qa が導出できるが、その証明は全く自明ではなく、定理1.7 と
ほとんど同じことをしなければならないのである。お前は

「稠密でないケースでは証明の必要がなく、自明に Qa が従う」

と勘違いしている。稠密でないケースでさえも、証明が難しいのであり、
そのときの証明法は定理1.7とほとんど同じなのである。


＞２）の場合については、一般には、（例えば性質Gが“ｆが連続”）とした場合、
＞稠密な補集合が存在し反例となるか、例外的に補集合が空集合になる。
＞（反例は、１例をあげればいいが、「例外的に補集合が空集合になる」ことはきちんと別に証明が必要だ。）

定理1.7 により、「例外的に補集合が空集合になる」ことは自動的に証明されているｗ