# Image of Ideal under Ring Epimorphism is Ideal

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.