for x being Element of F_Complex
for n being Nat ex f being Function of COMPLEX,COMPLEX st
( f = FPower (x,n) & FPower (x,(n + 1)) = f (#) (id COMPLEX) )