theorem :: FIELD_1:5

for n being Nat
for R being non degenerated Ring
for a being Element of R holds LC (anpoly (a,n)) = a