Darstellung des Beweises

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