Remark

— If $p$ and $p'$ are two distinct prime ideals of $E \otimes_K F$, the corresponding composite extensions of $E$ and $F$ (constructed by the procedure of the above proof) are not isomorphic. However, they may nevertheless be isomorphic as extensions of K (V, p. 146, Ex. 2).