Proposition. simplicity $\iff$ finiteness of sub-extensions [2502]

A finite extension $K / F$ is simple if and only if it has only finitely many sub-extensions (i.e. there are only finitely many subfields of $K$ containing $F$).