Es sei ${\displaystyle {}G=(V,E)}$ ein Graph mit mindestens drei Elementen, der die Bedingung

${\displaystyle {}d(u)+d(v)\geq {\#\left(V\right)}\,}$

für je zwei nicht adjazente Knoten ${\displaystyle {}u,v}$ erfüllt.

Dann ist ${\displaystyle {}G}$ hamiltonsch.