Kategorie:Theorie der Knotenüberdeckungen von Graphen/Beweise