Show that if p is an odd prime not dividing a, then a complete solution to x^2 ≡ a (mod p^n) has the same number of elements for all positive integers n.
Show that if p is an odd prime not dividing a, then a complete solution to x^2 ≡ a (mod p^n) has the same number of elements for all positive integers n.