Stark-Heegner theorem

Etymology
Named after Kurt Heegner and Harold Stark, who contributed to the earliest proof.

Proper noun

 * 1)  A theorem that states precisely which quadratic imaginary number fields admit unique factorization in their ring of integers.