theorem Th24: :: GAUSSINT:24

for K1 being Subfield of F_Rat holds INT c= the carrier of K1