Proper noun
Bombieri-Friedlander-Iwaniec theorem (number theory) A theorem stating that there are infinitely many prime numbers of the form a + b.