theorem :: YELLOW_7:32

for L being RelStr holds
( L is bounded iff L opp is bounded ) by Th30, Th31;