>>29
fが全単射であることを使って証明すべき