theorem
  a in A & b in B implies a*b in A**B;
