>>922
>>308や>>319あたりに書いてある。座標関数xの微分がdx。