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

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

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