Induced Homomorphism of Polynomial Forms/Proof 2

Proof
Let $f = a_0 + \cdots + a_n X^n$, $g = b_0 + \cdots + b_m X^m \in R \left[{X}\right]$.

We have:

and

Thus $\overline{\phi}$ is a ring homomorphism.