若 aia_iai 是 SSS 中距 aaa 为1的 mmm 个邻点之一,则 ai+eiθba_i+e^{i\theta}bai+eiθb 是 a+eiθba+e^{i\theta}ba+eiθb 的单位距离邻点。若 bjb_jbj 是 TTT 中距 bbb 为1的 nnn 个邻点之一,则 a+eiθbja+e^{i\theta}b_ja+eiθbj 也是。由互异性这 m+nm+nm+n 个点彼此不同。