Polynomial ring/Endomorphism/Inserting/Ring homomorphism (without concept)/Fact/Proof

Proof

(1) and (4) are inherent in the definition of the substitution homomorphism. From this, also (2) and (3) follows.

To fact