theorem Th3: :: GAUSSINT:3

for x being object st x is G_INTEG holds
x in G_INT_SET ;