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