Library
▹
Algebra
▹
Fields
▹
Prime fields
∃
y
∈
F
p
:
y
2
=
a
⇔
a
(
p
−
1
)∕
2
= 1
F
p
if
p
is an odd prime,
a
∈ (
F
p
)
×