Darstellung des Beweises

Der Beweis wird als gefärbter Graph dargestellt. Die Knoten der Clique werden rot, die anderen Knoten werden schwarz dargestellt. Das Format ist ebenfalls png.