theorem :: YELLOW18:6

for A, B being non empty AltCatStr st A,B are_opposite holds
for a being Object of A holds a is Object of B ;