theorem Th43:
  A c= A*
proof
  A = A |^ 1 by Th25;
  hence thesis by Th42;
end;
