Apologies if this question was already asked a few times but i could only find proofs of the invariance of $ ds^2 $.
Is there any way of proving the 2nd postulate (that $c$ is invariant in all reference frames) by using the Lorentz transformations or the Lorentz group?
Or more explicitly, is there any way of deriving the second postulate just by assuming that 4-vectors transform under the Lorentz group $ SO^+(1,3) $ in 3+1 spacetime?