for L being Field
for p being Polynomial of L
for x being Element of L
for n being Nat holds eval ((p `^ n),x) = (power L) . ((eval (p,x)),n)