Sea G un ciclo de 8 vértices vi, 0 ≤ i < 8, con vi adyacente a vi - 1 (mod 8) y vi + 1 (mod 8).