B={x∈X|xがf(x)に含まれない}
とする。条件より、f(b)=Bなるb∈Xが存在する。
bがBに含まれるかどうかを考えて矛盾を導く。