Algebraicity is transitive in towers of field extensions.Suggest a slogan
Let \(k \subseteq K \subseteq L\) be fields, with the extensions not necessarily finite. If \(L/K\) and \(K/k\) are algebraic, then \(L/k\) is algebraic.
PR-ABSJX
Let \(k \subseteq K \subseteq L\) be fields, with the extensions not necessarily finite. If \(L/K\) and \(K/k\) are algebraic, then \(L/k\) is algebraic.