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