Incidentally, we have just proved that if light travels with speed in one system, it travels with speed in another, for if the interval is the same in both systems, i.e., zero in one and zero in the other, then to state that the propagation speed of light is invariant is the same as saying that the interval is zero.
