GPSの時計が遅れるというのは特殊相対性理論で説明されてるがな。一般相対性理論を使って説明する奴はいないな。

一方、GPSは重力の小さい上空をとんでいるので地上より時計が進む。これは一般相対性理論で説明される。

そして両者は全く独立した計算でそれぞれ別々に求められる。