theorem
  O is irreflexive transitive implies O is asymmetric;
