おっちゃんです。
定理1.7ではB_f は G_δ 集合かつ R−B_f は F_σ 集合なることが仮定されている。