そうだよ。だけど今問題になっているのは、縮んだ線路を走るから半分の時間で済むということだから、線路の時間の進みが半分になるのはここでは関係ないわけだ。