Krein-Milman theorem

Etymology
A less general version was originally proved by Mark Krein and David Milman.

Proper noun

 * 1)  A proposition about convex sets in topological vector spaces.