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