Kategorie:Theorie des Einsetzungshomomorphismus (Polynomring)/Beweise