Smallest Field is Field

Theorem
The ring $$\left({\left\{{0_R, 1_R}\right\}, +, \circ}\right)$$ is the smallest algebraic structure which is a field.

Proof
The null ring, which contains one element, is not a field as it is trivial.

Therefore any field must contain at least two elements.