An algebraic tower is separable from bottom to top exactly when both stages are separable.Suggest a slogan
Let \(k\subseteq K\subseteq L\) be algebraic field extensions. Then \(L/k\) is separable if and only if \(L/K\) and \(K/k\) are both separable: