at a particular time

of the system

. By means of the first equation of the Lorentz transformation the values of these two points at the time

can be shown to be

the distance between the points being