ハール測度
averaging over "y", using left invariant of the Haar measure on "K" gives