人工衛星って高速で回るから相対性理論で少しずつ時間がずれていくので時計を修正しなくちゃいけないって本当？