theorem
  n <= 1 implies A |^ n c= A?
by Th73;
