>>506
納得いかないならPを定義しているところのfはgにでも名前変えてみたら?