Search the corpus

    If $L/k$ is normal, then $L/K$ is normal for every intermediate field $K$

    PR-MHOVR