Brun's theorem

Etymology
Proved by in 1919.

Proper noun

 * 1)  A theorem stating that the sum of the reciprocals of the twin primes converges to a finite value.