>>396

ローレンツ変換の導出は任意の(ct,x)を想定して行うわけですよね。