Verbesserung der Lesbarkeit des Beweises: Klärung der logischen Struktur