User:Dfeuer/Totally Ordered Field with Order Topology is Topological Field

Theorem
Let $(F, +, \circ, \le)$ be a totally ordered field.

Let $\tau$ be the $\le$ order topology over $F$.

Then $(F,\tau)$ is a topological field.