Ich glaube, daß dies kein Satz ist sieht man schon daraus, daß darin die Abbildungsregel abgetrennt von den beiden Komplexen gegeben ist || wird die in der internen Beziehung stehen.