theorem :: FIELD_1:6

for R being non degenerated Ring
for n being non zero Nat
for a, x being Element of R holds eval ((anpoly (a,n)),x) = a * (x |^ n)