theorem Th29:
  J is monomorphism iff opp(J) is antimonomorphism by Th27;
