\[(2ct')^{2}-(2vt')^{2}=(2l_0)^{2}\]