そもそも
”R−Bf が内点を持たない閉集合の高々可算和で被覆できるならば”だったろ?