Proper noun
the Green-Tao theorem (number theory) A theorem stating that the sequence of prime numbers contains arbitrarily long arithmetic progressions.