Si "p" es un número primo, entonces todas las raíces "p"-ésimas de la unidad excepto 1 son primitivas, y tenemos que