theorem Th55:
  A+ c= A*
proof
  A |^.. 1 c= A* by Th9;
  hence thesis by Th50;
end;
