theorem Th49:
  n > 0 implies A |^ n c= A+
by Th48;
