GPS衛星の正確な時刻測定には、相対論的な補正が必要である。