theorem Th6: :: COMPLEX1:6
( Re 1r = 1 & Im 1r = 0 )