ちなみに私はローレンツ変換や「慣性系の乗り換え」とやらも当然理解しています
だから「>>901でいいですよね?」と何回か聞いています