\section{Subfields of a Finite Field} \begin{theorem}[Subfields of a Finite Field] For each divisor $m$ of $n$, $\gf(p^n)$ has a unique subfield of order $p^m$. Moreover, these are the only subfields of $\gf(p^n)$. \end{theorem}