theorem Th4: :: ALGNUM_1:4

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