Real Numbers form Ordered Field

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