Korolari 23.2.2.
Misalkan \(F\) suatu lapangan dan \(G\) suatu subgrup dari \(\aut(F)\text{.}\) Maka
\begin{equation*}
F_G = \{ \alpha \in F : \sigma( \alpha ) = \alpha \text{ untuk semua } \sigma \in G \}
\end{equation*}
merupakan sublapangan dari \(F\text{.}\)