Extreme Set in Compact Convex Set contains Extreme Point

Theorem
Let $X$ be a vector space over $\R$.

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

Let $E$ be an extreme set of $K$.

Then $E$ contains an extreme point of $K$.