 reserve n for Nat;

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