Si "G" es un grafo conexo, simple y sin lazos con "n" vértices, con "n ≥ 3", en el cual "grado(u) + grado(v) ≥ n − 1" para todo par de vértices no adyacentes "u", "v", entonces "G" posee un camino hamiltoniano.