 Fiber primes of an integral extension

For an integral extension $A\subseteq B$ and $\mathfrak{p}\in \mathrm{Spec}A$, localization gives a bijectionIt combines the prime ideal correspondence for localization with the contraction of a maximal ideal under an integral extension.