Normality descends from the base field to every intermediate field.Suggest a slogan
Let \(L/k\) be a finite normal extension and let \(K\) be a field with \(k \subseteq K \subseteq L\). Then \(L/K\) is normal.
PR-MHOVR
Let \(L/k\) be a finite normal extension and let \(K\) be a field with \(k \subseteq K \subseteq L\). Then \(L/K\) is normal.