>>173

30万kmの間隔がローレンツ収縮すれば15万kmだね。
これを最初から与えている理由は知らないよ。