theorem
  MaxADSet(Int A) = Int A by Th56;
