Matematyka.pl

Dla jakich \(\displaystyle{ m}\) gdy \(\displaystyle{ n^2 \equiv 1 \ (\bmod \ m) }\) to \(\displaystyle{ n \equiv \pm 1 \ (\bmod \ m)}\) dla dowolnej liczby całkowitej \(\displaystyle{ n}\)

Dla m będących potęgą liczby pierwszej większej od 2, bądź jej dwukrotnością, lub też dwójką w potędze maksymalnie drugiej(2 lub 4). Dowód, który ja znalazłem jest z lematu Hensela oraz Chińskiego twierdzenia o resztach.