>>126
「D(f) = D(g) かつ G(f) = G(g) 」のときf=gであるという、かと。

>>120
その暗黙的な言及というのが微妙なんですよね。。。
とりあえず(x^3+1)'=3x^2という式があれば、右辺の「3x^2」は
多項式ではなく函数ですよね！？