theorem Th23:
  for Y being integer-membered set st X c= Y holds X is integer-membered;
