theorem Th7: :: COMPLEX1:7
( Re <i> = 0 & Im <i> = 1 )