Preimage of Prime Ideal under Ring Homomorphism is Prime Ideal/Proof 2

Proof
By Preimage of Ideal under Ring Homomorphism is Ideal, $\map {f^{-1} } {\mathfrak p}$ is a ideal of $A$.

Let $B / \mathfrak p$ be the quotient ring.

By Prime Ideal iff Quotient Ring is Integral Domain, $B / \mathfrak p$ is an integral domain.

By Kernel of Quotient Ring Epimorhpism, the quotient ring epimorphism $B \to B / \mathfrak p$ has kernel $\mathfrak p$.

By Kernel of Composition of Ring Homomorphisms, the composition $A \overset f \to B \to B / \mathfrak p$ has kernel $\map {f^{-1} } {\mathfrak p}$.

By Universal Property of Quotient Ring, there exists a ring homomorphism $A / \map {f^{-1} } {\mathfrak p} \to B / \mathfrak p$.

.

By Subring of Integral Domain is Integral Domain, $A / \map {f^{-1} } {\mathfrak p}$ is an integral domain.

By Prime Ideal iff Quotient Ring is Integral Domain, $\map {f^{-1} } {\mathfrak p}$ is a prime ideal of $A$.