Aber wenn der Komplex kein Beweis ist, welche Rolle spielt er denn dann überhaupt?
     Wie wird er verwendet?