theorem Th6:
  TrivAsymOrthoRelStr is asymmetric;
