なんでDt[7]を7に置き換えたいんだ？
全微分ってのは、中で使われてる変数の名前に応じてその値が異なるから、
Dt[x]:>dx みたいにして使うことはあるけど、
例：http://reference.wolfram.com/mathematica/tutorial/TotalDerivatives.ja.html の最後
Dt[x_]で定義するのがそもそもおかしいな。