Hahn-Banach Separation Theorem/Hausdorff Locally Convex Space/Real Case

Theorem
Let $\struct {X, \PP}$ be a Hausdorff locally convex space over $\R$ equipped with its standard topology.

Let $X^\ast$ be the topological dual space of $\struct {X, \PP}$.