\[\frac{2l_0}{2ct'}=\frac{2ct'}{ct}=\sqrt{1-\frac{v^{2}}{c^{2}}}\]
