[Ich]

Das folgt unmittelbar aus der Metrik
ds²=c²dt²-dx²
mit v=dx/dt=c, also cdt=dx:
ds²=dx²-dx²=0
ds ist die verstrichene Eigenzeit (falls ds²>=0).