したがってハール測度の一意性から