Lorentz transformation
while the Lorentz transformation gives