Александр Григорьев: "GPS учитывает релятивистское сокращение длин и времени".

Я не знаю, у кого первого возникла эта глупая мысль о том, что GPS якобы подтверждает СТО, но почти каждый верующий релятивист пытается эту мысль продублировать, хотя на самом деле ничего конкретного об этом не знает. Я давно убедился в этом. Вот очередной пример - 
Да?
И увеличение массы разгоняемых часиц никак не учитывается в заданных параметрах ускорителя? Кстати E=mc^2 ещё О.Хевисайд открыл. задолго до Эйнштейна. А в GPS учитывается релятивистское сокрашение длин и времени.
 
В связи с тем, что эту глупость продолжают повторять и повторять и эта мысль овладевает мозгами обывателей, я хочу поставить всё на свои места.
Пусть Александр Григорьев расскажет, как именно, по каким формулам, GPS учитывает релятивистское сокращение длин и времени?
Ждём.