text: Если H является другой компактной подгруппой группы G, то среднее скалярного произведения по H по мере Хаара даёт инвариант скалярного произведения над H. Операторы Ad p при p из P являются положительными симметричными операторами.