頂点は A、その m 個の隣人 B_i、および各 B_i に対するさらに m-1 個の隣人からなる。後者の集合は一意性条件により互いに素であり、距離2を超える頂点は存在しない。従って n=m^2+1 である。