theorem Th9: :: FIELD_1:8

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