A Normed Vector Space is a Topological Vector Space
# Statement
Let $(X, ||\cdot||)$ be a Normed Vector Space. Then $X$ is a Topological Vector Space.
# Proof
TODO put results about algebraic operations in the page below, and reference them from pages like this one.