theorem Th62:
  (A*)* = A*
proof
  (A*)* c= A* & A* c= (A*)* by Th43,Th60;
  hence thesis by XBOOLE_0:def 10;
end;
