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

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

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

である。

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

k(n)=m+2,n=L

k(n)=4,n=6

k(n)=5,n=9?

k(n)=6,n=13

k(n)=7,n=21

k(n)=10,n=36

k(n)=12,n=91

L=m^2-m+1

n=(k(n)-2)^2-(k(n)-2)+1=k(n)^2-3k(n)+7

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

L＜=m(m-1)/2

(k(n)+2)(k(n)+1)＞=2n

k(n)^2+3k(n)+2(1-n)＞=0

k(n)＞=(-3+(9-8(1-n))/2

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