theorem lem1e: :: RING_5:45

for R being non degenerated Ring
for x being Element of R holds eval ((npoly (R,0)),x) = 1. R