theorem Th35:
  for A, B being Subset of Y st
    B c= MaxADSet(A) & A c= MaxADSet(B) holds MaxADSet(A) = MaxADSet(B)
  by Th34;
