Haar measure
where we used the invariance of the Haar measure.