Real Number Line is Banach Space

Theorem
The real number line, along with the absolute value function, forms a Banach space over $\R$.

Proof
The real number line $\R$ is a vector space over $\R$.

That the norm axioms are satisfied is proven in Absolute Value is Norm.

Then we have Real Number Line is Complete Metric Space.

Hence the result.