如何证明光速不变?