F_Rat is Subring of F_Real by Lm1, GAUSSINT:14;
hence F_Rat is 0 -characteristic ; :: thesis: verum