Negative Infinity is Minimal

Theorem
Let $\left({\overline \R, \le}\right)$ be the extended real numbers with the usual ordering.

Then $-\infty$ is a minimal element of $\overline \R$.

Proof
This theorem is dual to Positive Infinity is Maximal.