ハール測度
where formula_11 is the Haar measure.