>>343
それならf^(-1)が存在することに言及しなければならない。