The above equations are alternate expressions for the t and x equations of the inverse Lorentz transformation, as can be seen by substituting ct for w, ct ′ for w ′, and v / c for β. From the inverse transformation, the equations of the forwards transformation can be derived by solving for t ′ and x ′.