Heine-Borel theorem

Etymology
Named after the German mathematician (1821–1881) and the French mathematician  (1871–1956).

Proper noun

 * 1)  A theorem which states that for any subset S of an n-dimensional Euclidean space, S is compact if and only if it is both closed and bounded.