>>858
bがBに含まれる、ということはBの定義からbがf(b)=Bに含まれないことを意味する。
bがf(b)=Bに含まれなければ、Bの定義からbはBに含まれなければならない。

という感じ。