>>737
慣性系間の座標変換が、現実世界のローレンツ変換ではなく、直交変換になっている、というのが肝。