Optimierungsstrategien für Beweise: Vereinfachung von Argumenten und Nutzung bekannter Sätze