結局Lorentz群の対称性からでるんでしたね。ボケてました。