theorem :: MEMBERED:17

for X being integer-membered set st ( for i being Integer holds i in X ) holds
X = INT