 Automorphism-count divisibility theorem

For a finite extension $K/F$, the automorphism group $G={\mathrm{Aut}}_F(K)$ has order dividing $[K:F]$. Indeed, Artin's theorem gives $[K:K^G]=|G|$, while $F\subseteq K^G$ and the tower law gives the divisibility.