>>213
fが恒等写像だとでてくる集合が全部同じになって、右辺が空集合になって成り立たない