>>618
ローレンツ変換がないと矛盾が起きるということを自分から証明したわけだ。