_26。可指定formula_27, formula_28。如果formula_29，则有formula_30，因为由此得出"g"是由最多"k"+1个"S"的元素的积。因此"S"是"G"的生成集合，而且对所有"g"都有取formula_33，用三角不等式得出对任何formula_35，有故此从以上两条不等式可以得出而且"X"中每一点"x"都距离某个formula_20不超过"r"，所以formula_40是拟等距映射，"G"和"X"是拟等距同构。