Theorem: Havel-Hakimi-Theorem

Sei eine monoton fallende Folge.

Dann ist genau dann Valenzsequenz eines Graphen, wenn die Folge

eine Valenzsequenz ist.