theorem :: FIELD_1:7

for R being non degenerated Ring
for a being Element of R holds anpoly (a,0) = a | R ;