theorem Th11: :: GAUSSINT:11

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