Hello,

Write the decomposition into prime factors of n.

So

As , the previous expression equals to :

Hence the exponent of every prime number occuring in the factorisation of n is even because multiple of 2.

And as it's equalities, there is equivalence.