Proper noun
Stark-Heegner theorem (number theory) A theorem that states precisely which quadratic imaginary number fields admit unique factorization in their ring of integers.