Se sabe que formula_232 es una raíz primitiva de la unidad, por lo que