Helly's selection theorem

Etymology
Named after.

Proper noun

 * 1)  A theorem stating that a sequence of functions that is locally of bounded total variation and uniformly bounded at a point has a convergent subsequence.