F_Rat is Subring of F_Real by GAUSSINT:14, RING_3:43;