theorem Th6: :: YELLOW_7:6

for L being RelStr holds
( L is transitive iff L opp is transitive )