Dowód, samodopełniający się graf Jakoob: Samodopełniający się graf musi mieć n(n−1)/4 krawędzi więc n ≡0 lub n≡1mod4. Udowodnić, że jest to warunek wystarczający.