theorem Th6: :: COMPLEX1:6

( Re 1r = 1 & Im 1r = 0 )