ハール測度
where formula_8 represents Haar measure.