>>954

x=ctが成り立たないならローレンツ変換もできないですよね。