TODO entfernt
Formulierungen verbessert
Beweis zu Scarpis vervollständigt