Hahn-Banach Separation Theorem/Normed Vector Space/Complex Case

Theorem
Let $\struct {X, \norm \cdot}$ be a normed vector space over $\C$.

Let $\struct {X^\ast, \norm \cdot_{X^\ast} }$ be the normed dual space of $\struct {X, \norm \cdot}$.