Exercise 14, § 14

Let E, F, G be three extensions of a field K contained in an extension $\Omega$ of K and such that $F \subset G$. Show that for E and G to be algebraically disjoint over K it is necessary and sufficient that E and F should be algebraically disjoint over K and $E(F)$ and G algebraically disjoint over F.