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!