Se puede demostrar fácilmente que si un grafo es auto-complementarios y regular, entonces el número de vértices, $n$, es igual a $4k +1$ algunos $k \in \mathbb{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$