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