もう一点。
fが全単射であるという仮定をどこで使ってるんだ?