これも>>382の繰り返しになるが、どうしても稠密ケースへの言及が欲しくて、
どうしても(B)のケースに特化した証明が欲しいのなら、>>382のようにすれば
(B)専用の証明が完成する。それで満足だろう?