theorem Th5: :: MEMBERED:5

for X being set st X is integer-membered holds
X c= INT