ゲージ場のエネルギー運動量テンソル（ユークリッド計量） を変形して となることを示す．以下，ゲージ群の添字 は略す．キーになる公式は である．これを使うと が得られる．すなわち である．よって となるが，最後の式の最後の2項は が について対称であ…