Darstellung des Beweises

Der Beweis wird als Graph dargestellt bei dem die Knoten entsprechend dem Kreis durchnummeriert sind. Das Format ist ebenfalls png.