Haar measure
第三の同号は、formula_27 と対称性変換の下ではハール測度は不変であるという事実を使った。formula_28 は数値でしかないので、リー微分はこれへ適用すると 0 となる。