theorem Th22: :: YELLOW20:22

for A, B being transitive AltCatStr st A,B have_the_same_composition holds
Intersect (A,B) is transitive