
\displaystyle
\frac {x-vt} {\sqrt{1-(v/c)^2}}}
=x+v(m(v)-t)=x-vt+m(v)v.
