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