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