ハール測度
where formula_11 and "dx" is Haar measure so normalized that formula_12 has measure 1.