Bombieri-Friedlander-Iwaniec theorem

Etymology
Proved in 1997 by John Friedlander and Henryk Iwaniec.

Proper noun

 * 1)  A theorem stating that there are infinitely many prime numbers of the form a2 + b4.