Die Übereinstimmung zweier Komplexe ist offenbar intern und kann daher nicht ausgedrückt sondern nur gezeigt werden.