If divides or , both sides of the claimed multiplicativity identity are zero. Otherwise the Euler criterion givesEach side is or . Since is odd, these two integers represent different residue classes. Hence the modular congruence gives equality:
Articles by others on the same topic
There are currently no matching articles.