Man muss doch nicht mit Kanonen auf Spatzen schießen... Mein Vorschlag wäre, zunächst die Abschnitte "Beweis" und "Beweis mit detaillierten Einzelschritten", auf dem Vorschlag von Scherben beruhend, zu ersetzen und den Abschnitt "Formeller Beweis" mit weiteren Erkärungen zu ergänzen. Dann kann der Leser entscheiden, welche Lösungsvariante ihm zuträglicher erscheint. Hier nochmal die Grundlage von der ich rede: