>>389　ありがとうございます。

dx(∂/∂t)=dx((dx/dt)∂/∂x)=(dx/dt)dx(∂/∂x)=dx/dt

二番目のイコールで導関数が外に出ていますが、各店ｐのときの値を
考えて出しているのですか？

それとも、一次微分形式ｄｘは関数に関して線形性があるのですか？