▶26) Gemeint ist: b → A kontradiktorisch b → oA; b → eA kontradiktorisch b → iA; dann: b → oA kompatibel mit b → iA.
◀▶
