theorem
  p is one-to-one implies p - A is one-to-one;
