theorem
  MaxADSet(Cl A) = Cl A by Th60;
