theorem Th11: :: YELLOW18:11

for A, B being non empty transitive AltCatStr st A,B are_opposite & A is associative holds
B is associative