uf [A1 A2], liegen. Nunmehr liegen nach (2)
([A, W₂] [NS₁]) = A2 ([Q1W2] [M"S₁])
ehen
N], [Q₁M"], [W₂S₁]
ner liegen nach (4)
2
([AS₁] [NW2]) = A₁, ([T₂S₁] [M' W₂])
ehen
N], [T,M'], [SW]
2
mnach gehen nach (5) und (6)
N], [Q₁M"], [T,M']
liegen
([AT] [NM.]) = A2, ([Q1T2] [M' M"])
es gehen
"M"], [A₁A₂], [Q1T2]
egen
EAA) = (T2 P2 AA2)
T2], [EP2], [A1A2]
wegen
E₁AA₁) = (U₂ P2AA2)
2
U₂], [EP2], [142]
1