f(y)は定まってんじゃないのか?