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 \sqbrk X$

We have:

and

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