At the end of last lecture we stated a theorem giving an easy characterization of subfields of a given field We begin by proving this result.

Theorem 18.Suppose is a field and If satisfies the following 5 conditions, then s a subfield of

- is closed under addition.
- is closed under multiplication.
- whenever
- whenever and
- has at least two elements.