Der formale Beweis ist abgeschlossen. Konsolidierung und Aufräumen. ~30 Minuten