A number of the form a_0 + a_1 ζ + ... + a_(p - 1) ζ^(p - 1), where ζ congruent e^(2π i/p) is a de Moivre number and p is a prime number. Unique factorizations of cyclotomic integers fail for p>23.