Algebra Defined by Ring Homomorphism on Ring with Unity is Unitary

Theorem
Let $R$ be a commutative ring.

Let $\left({S, +, *}\right)$ be a ring with unity.

Let $f: R \to S$ be a ring homomorphism.

Let $\left({S_R, *}\right)$ be the algebra defined by the ring homomorphism $f$.

Then $\left({S_R, *}\right)$ is a unitary algebra.

Proof
By definition, the multiplication of $\left({S_R, *}\right)$ is the ring product of $S$.

Thus it follows immediately from the fact that $S$ is a ring with unity, that $\left({S_R, *}\right)$ is a unitary algebra.