theorem Th7: :: COMPLEX1:7

( Re <i> = 0 & Im <i> = 1 )