子集，所以另一方面，formula_86，所以这两条不等式互相矛盾，故formula_77上不存在不变平均，即formula_77是非可均的。所以一个群若包含formula_77为离散子群，则不是可均群。如把"n"维空间formula_1的旋转群SO("n")看成离散群，则"n"不小于3时SO("n")包含formula_77为（离散）子群，因此是非可均群，但SO(2)是阿贝尔群，因此是可均群。这是巴拿赫－塔斯基悖论证明中的构造法在"n"不小于3时可行，在"n"等于2时不可行的原因。不过若用SO