>>125
fは全単射なのか？そんなことはかかれてなかったように思うが。