Krein-Milman Theorem

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

Let $K$ be a non-empty compact convex subset of $X$.

Let $\map E K$ be the set of extreme points in $K$.

Then $K$ is the closed convex hull of $\map E K$.