Lorentz transformation
ローレンツ変換の不変量である4次元距離は