dowód twierdzenia o nieresztach kwadratowych

[adacho90]

Tw: Dla każdej niereszty \(\displaystyle{ b}\) zachodzi kongruencja \(\displaystyle{ \ b^{p-1} \equiv -1 (mod \ p)}\)

[Sylwek]

To twierdzenie trochę inaczej wygląda.

rodział 4.