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