INT.Ring is Subring of F_Complex by RING_3:47, Th3, Th1;