>>681
背理法。
Dに含まれない Bの元があったとしたら、3を満たさないfが構成できる。