theorem
  J is endomorphism iff opp(J) is antilinear by Th27;
