Nawigacja satelitarna GPS i teoria względności - 17/20