theorem Th6: :: OPOSET_1:6

TrivAsymOrthoRelStr is asymmetric ;