Si formula_10, entonces formula_11 tiene una raíz unitaria.