theorem Th7: :: YELLOW_7:7

for L being non empty RelStr holds
( L is connected iff L opp is connected )