ローレンツ変換
The general Lorentz transformation is then: