I'm reading Proposition 14, page 15, Chapter I, taken in Lang - Algebraic number theory. It states that if $A$ is an integrally closed domain with field of fractions $K$, $L$ be a finite galois extension of $K$, $B$ be the integral closure of $A$ in $L$, $\mathfrak P$ be maximal ideal of $B$ lying over a maximal ideal $\mathfrak p$ of $A$, then $\bar B=B/\mathfrak P$ is a normal extension of $\bar A=A/\mathfrak p$.
The proof shows, actually, only that each finite separable subextension of $\bar B/\bar A$ is normal. This implies that $\bar B$ is normal over $\bar A$? Why?