The theorem that in a locally convex topological vector space, any compact convex set K is identical with the intersection of all convex sets containing the extreme points of K.