Cada raíz "n"-ésima de la unidad es una raíz primitiva "d"-ésima de la unidad para exactamente un divisor positivo "d" de "n".