ローレンツ短縮を振り回すのは素人
ローレンツ変換を計算できなきゃ無意味