>>878

ローレンツ変換は成り立たないかと