fg=gfとは任意のに対してfg(P)=gf(P)となるということ