Field is Subfield of Itself

Theorem
Let $$\left({F, +, \circ}\right)$$ be a field.

Then $$\left({F, +, \circ}\right)$$ is a subfield of $$\left({F, +, \circ}\right)$$.

Proof
$$F$$ is a field and $$F \subseteq F$$.