Additional theorem of velocity

Lorentz transformation

   x' = (x-vt)/√1-v^2/c^2

   y' = y

   z' = z

   t' = (t - v/c^2 x)/√1-v^2/c^2