aia_iai が SSS における aaa の mmm 個の単位距離隣接点の1つなら、ai+eiθba_i+e^{i\theta}bai+eiθb は a+eiθba+e^{i\theta}ba+eiθb の単位距離隣接点である。bjb_jbj が TTT における bbb の nnn 個の隣接点の1つなら、a+eiθbja+e^{i\theta}b_ja+eiθbj もそうである。相異性によりこの m+nm+nm+n 点は異なる。