Subfield Test

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

Let $K$ be a subset of $F$.