全ての慣性系で時間と空間の擬内積は保存する