theorem
  for A being non empty set st A c= Y holds A meets Y by Th68;
