The equation
where solutions are the roots of unity sometimes called de Moivre numbers. Gauss showed that the cyclotomic equation can be reduced to solving a series of quadratic equations whenever is a Fermat prime. Wantzel (1836) subsequently showed that this condition is not only sufficient, but also necessary. An "irreducible" cyclotomic equation is an expression of the form