Image of Ideal under Ring Epimorphism is Ideal

Theorem
Let $f : A \to B$ be a ring epimorphism.

Let $I \subseteq A$ be an ideal.

Then its image $f(I) \subseteq B$ is an ideal.