theorem
  (A*) \/ (B*) c= (A \/ B)*
proof
  A* c= (A \/ B)* & B* c= (A \/ B)* by Th61,XBOOLE_1:7;
  hence thesis by XBOOLE_1:8;
end;
