>>80
>光の往復時間の式の変形

x' = x – vt

のことでいいのでしょうか？
光の往復時間をどう表してるのか、よくわかりません。