theorem Th2: :: GAUSSINT:2

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