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