for R being non degenerated Ring
for n being non zero Element of NAT holds anpoly ((1. R),n) = rpoly (n,(0. R))