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
Partial cube root vertex "r" for the tree, arbitrarily, and label each vertex "v" with a string of "m" bits that has a 1 in position "i" whenever edge "i" lies on the path from "r" to "v" in "T". For instance, "r" itself will have a label that is all zero bits, its neighbors will have labels with a single 1-bit, etc. Then the Hamming distance between any two labels is the distance between the two vertices in the tree, so this labeling shows that "T" is a partial cube. Every hypercube graph is itself a partial cube, which can be