>>805
Lorentz変換から光速度不変も出せますよ
つまり,逆も示せるんですよ