theorem Th3: :: ALGNUM_1:3

F_Rat is Subring of F_Complex by RING_3:43, Lm1;