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