Helly's selection theorem

In our analysis seminar, we proved Helly's selection theorem and then used it to extract a convergent subsequence from a family of functions that are locally of bounded total variation and uniformly bounded at a point.