theorem
  for x being Point of Y holds {x} c= MaxADSet(x) by Th12;
