ローレンツ変換
while the Lorentz transformation gives