theorem Th17: :: YELLOW_7:17

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