有有限维不可约酉表示的矩阵元张成的线性空间，则formula_9在formula_7中稠密。
证明概要.对formula_13，可以定义卷积算子formula_14：利用阿尔泽拉引理可以证明，该算子是formula_16上的紧算子。设formula_17，由formula_1的紧性可知formula_19在formula_1上一致连续。即对任意formula_21，存在群单位元formula_22的邻域的formula_23，使得任意formula_24，都有formula_