theorem Th5: :: HURWITZ2:5

for k being even Element of NAT
for x being Element of F_Complex st Re x = 0 holds
Im ((power F_Complex) . (x,k)) = 0