ｐが素数ならば、n=p^2+p+1に対する完全差集合が存在することが示された。

また、ｎの差分基底の要素の最小個数をk(n)とするとき、n→∞

　　k(n)/√ｎ→ｃ、ｃ＝[√2，√（8/3）]

である。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝