ハール測度
where we used the invariance of the Haar measure.