>fは既約。
うそでね? f:=xx∈(x):=P