x$dt == x0

と書くのはバッドノウハウ