for n being Element of NAT
for x being Element of F_Complex st x is Integer holds
(power F_Complex) . (x,n) is Integer