理论上都可以很快推导出来。主要矛盾是在时间的假设上，狭义相对论中时间是不变的。广义相对论中可以推导出时间是可变的。