Se puede demostrar fácilmente que si un grafo es auto-complementarios y regular, entonces el número de vértices, nn, es igual a 4k+14k+1 algunos k∈Z.
Pero, ¿cómo podemos demostrar (demostrar a través de la construcción) que no es un auto-complementarios gráfico regular para n=4k+1