Green-Tao theorem

Etymology
Proved by Ben Green and Terence Tao in 2004.

Proper noun

 * 1)  A theorem stating that the sequence of prime numbers contains arbitrarily long arithmetic progressions.