>>677
ローレンツ変換も任意のx,y,z,tで成り立っているのでは?