theorem Th10: :: GAUSSINT:10

for x being object st x in G_RAT_SET holds
x is G_RAT