Lemma B.2Defining a field
Lemma B.3Establishing well-defined order
Lemma B.4Establishing order
Theorem B.5Least upper bound property