Subfield of Subfield is Subfield

Theorem

Let $R$ be a ring with unity.

Let $K_1, K_2$ be fields, such that:

$K_1$ is a subfield of $R$

$K_2$ is a subfield of $K_1$

Then $K_2$ is a subfield of $R$.

Proof

Let $K_1$ be a subfield of $R$ and $K_2$ be a subfield of $K_1$.

Then by definition:

$K_1 \subseteq R$

$K_2 \subseteq K_1$

From Subset Relation is Transitive it follows that $K_2 \subseteq R$

So by definition $K_2$ is a subfield of $R$.

$\blacksquare$