mula_7是四维积分体积。应用散度定理，四维体积积分formula_70可以变为一个三维曲面积分。将formula_7增大，使得表面不存在任何四维电流formula_61，则这项目等于零。那么，注意到formula_74是任意函数，所以，假若作用量formula_75是规范不变量，则必定导致
规范场论.採用高斯单位制，自旋1/2粒子的旋量场的狄拉克拉格朗日密度为其中，formula_78是约化普朗克常数，formula_36是光速，formula_80是狄拉克矩阵（）