Locally Convex Space is Topological Vector Space

Theorem
Let $\GF \in \set {\R, \C}$.

Let $\struct {X, \PP}$ be a Hausdorff locally convex space over $\GF$ equipped with the standard topology $\tau$.

Then $\struct {X, \tau}$ is a topological vector space.

Proof
From Vector Addition on Locally Convex Space is Continuous, vector addition on $X$ is continuous.

From Scalar Multiplication on Locally Convex Space is Continuous, scalar multiplication on $X$ is continuous.

From Locally Convex Space is Hausdorff iff induces Hausdorff Topology, $\struct {X, \tau}$ is a Hausdorff space.

So $\struct {X, \tau}$ is a topological vector space.