Subalgebra of Algebraic Field Extension is Field

Theorem
Let $E / F$ be an algebraic field extension.

Let $A \subseteq E$ be a unital subalgebra over $F$.

Then $A$ is a field.

Proof
By Integral Ring Extension is Integral over Intermediate Ring, $E$ is integral over $A$.

Let $a \in A$ be nonzero.

Because $E$ is a field, $a$ is a unit of $E$.

By Ring Element is Unit iff Unit in Integral Extension, $a$ is a unit of $A$.

Thus $A$ is a field.

Weaker statement

 * Subalgebra of Finite Field Extension is Field