x'=x-vtと、ローレンツ変換は何が違うの?