だからこそ、xが独立変数のときのみ、d(�凾�)=�凵idx)が
成立します。変分(�凵j・微分の(d)取り換え可能性といいます。