 Incomparability theorem for integral extensions

If $A\subseteq B$ is integral and ${\mathfrak{q}}_1\subseteq {\mathfrak{q}}_2$ are primes of $B$ with equal contractions to $A$, then ${\mathfrak{q}}_1={\mathfrak{q}}_2$. Consequently strict prime chains remain strict under contraction.