Lorentz transformation
はローレンツ変換の下、不変となる。