>>134
衛星の速度による遅れ、低重力による進み、を相対性理論で補正してる。