でもまぁ昔は⊿ｘとｄｘに区別はなくて、ｄｘ（＝ｄ[ｘ] ）が定数で
あるような場合にｄｄｘ（＝ｄ^2[ｘ]）＝０であるとして微分が理解
されていたとしても、変ではないでしょうよ。ｄｄｘ＝０である時に
ｄｘの存在証明はどのように与えられるのか、とか、追加情報は無い
ですかね？