Entonces, el producto de las dos raíces primitivas formula_55 es una raíz "mn"-ésima primitiva de la unidad y se satisfacen las igualdades: formula_56 y formula_57.