Hi

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?