Odd-residue squared product modulo a prime
ID: odd-residue-squared-product-modulo-a-prime
For an odd prime , the even residues are the negatives of the odd residues. If , then . Apply Wilson theorem to obtain the displayed congruence. The empty product for is one.
New to topics? Read the docs here!