Real Numbers form Ordered Field

Theorem
The set of real numbers $$\mathbb{R}$$ forms a totally ordered field under addition and multiplication: $$\left({\mathbb{R}, +, \times; \le}\right)$$.