= 0, we must have
, it follows from the first of these equations that
and also
so that we obtain
These equations form the well-known special Lorentz transformation, which in the general theory represents a rotation, through an imaginary angle, of the four-dimensional system of co-ordinates. If we introduce the ordinary time
