theorem
  J is epimorphism iff opp(J) is antiepimorphism by Th27;
