つまりだ、直交行列は忘れてγ行列の恒等式

γaγbγcγd
=ε(abcd)γ1γ2γ3γ4+δ(ab)γcγd+δ(cd)γaγb
+δ(bc)γaγd+δ(ad)γbγc-δ(ac)γbγd-δ(bd)γaγc
-δ(ab)δ(cd)-δ(ad)δ(bc)+δ(ac)δ(bd)

を示せばいいわけだ…