Zero of Subfield is Zero of Field

Theorem
Let $\struct {F, +, \times}$ be a field whose zero is $0$.

Let $\struct {K, +, \times}$ be a subfield of $\struct {F, +, \times}$.

The zero of $\struct {K, +, \times}$ is also $0$.