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