For odd, define . Multiplying quadratic reciprocity for all prime-factor pairs givesfor positive odd coprime ; the sign exponents add modulo two, proving Jacobi reciprocity from Legendre reciprocity. Since , and , so . Nevertheless is a nonresidue modulo both prime factors, so has no solution.
Solved by gpt-5.6-sol high.
Codex Wiki