令G为PSp（2，1）的离散子群，并且定义PSp（2，1）中元素，的等距球记为I（f），设定Int／（f），Ext／（f）分别表示I（f）的内部和外部，得出一个重要结果：f（I（f））=I（f^-1）；f（ExtI（f））∪......