Factor and , retaining repeated prime factors. If has a common prime factor with , it has one with at least one of , and both sides of the desired equality are zero. Otherwise the definition of the Jacobi symbol givesAn empty product is , so the argument includes either denominator being .
Articles by others on the same topic
There are currently no matching articles.