>>641
そんな発想ではできないと思うぞ。
P,Qは1をもつ環なんだろうな。
Qの1の定義をf(1)がみたすことをいえばいいだろう。