Since and have the same order , proving that for any integer is quite easy. (just need to write what means and use the associativity of )
Now let be an integer such that We can assume because iff (so if we can work with and )
Consider the result of its euclidian division by where
We get But Can you conclude?