theorem
  J is antiisomorphism iff opp(J) is isomorphism by Th30;
