Hensel's lemma the value of "c" mod 27: if "c" ≡ 1 mod 27 then use "a" = 1, if "c" ≡ 10 mod 27 then use "a" = 4 (since 4 is a root of "f"("x") mod 27), and if "c" ≡ 19 mod 27 then use "a" = 7. (It is not true that every "c" ≡ 1 mod 3 is a 3-adic cube, e.g., 4 is not a 3-adic cube since it is not a cube mod 9.) In a similar way, after some preliminary work Hensel's lemma can be used to show that for any "odd" prime number
Root of unity modulo n it is not a primitive root, then there would be some divisor ℓ of "k", with formula_57. In order to exclude this possibility, one has only to check for a few ℓ's equal "k" divided by a prime. That is, what needs to be checked is: Among the primitive "k"-th roots of unity, the primitive formula_23-th roots are most frequent. It is thus recommended to try some integers for being a primitive formula_23-th root, what will succeed quickly. For a primitive formula_23-th root "x", the number formula_30 is a primitive formula_25-th root of unity. If "k" does not divide formula_23,