>>647

いずれ証明したいと思います。

今はまだ計算していません。

それ以前の問題としてローレンツ変換が間違っている。