让X（X）是由简单Chevalley群定义的局部对称空间G公司和同余子群$\mathrm{<trans\; data-src="G">G公司</trans>}<trans\; data-src="(">(</trans>\mathbb{<trans\; data-src="Q">问</trans>}<trans\; data-src=")">)</trans>$在这个一般性中，Weyl定律X（X）Lindenstrauss和Venkatesh证明了这一点。在以下情况下G公司是简单连接的，我们通过对余项进行节能估计来锐化其结果。