このことは、ユニタリ双対(unitary dual)上の測度と、g上の二乗可積分函数の空間l2(g)の正規表現とユニタリ双対上のl2函数空間の間の同型を構成することで達成される。