Darstellung des Beweises

Der Beweis wird ebenfalls im HTML-Format abgelegt. Es wird die Lösungsfolge und und die erzeugte Zeichenkette abgespeichert.