theorem
  (A |^ n)* c= A* by Th42,Th60;
