まぁ背理法で行きましょうか

まず、Lorentz変換は正しい
これが仮定ですね
ここまではいいですか?