Graph/Gradbedingung/Ore/Hamiltonkreis/Fakt

Satz von Ore

Es sei ein Graph mit mindestens drei Elementen, der die Bedingung

für je zwei nicht adjazente Knoten erfüllt.

Dann ist hamiltonsch.