Proof. Let
denote the classes of
in
, where
.
If
is a repeated root of
, then
. So
Then
Thus
, and by (2),
, so
Hence
Conversely, suppose that
and
, then
Then
, thus
Since
,
is a repeated root of
.
In conclusion,
,
,
, then the root
of the congruence
is a repeated root
of the polynomial
.
(Moreover, by the first part, if
has a repeated root
, where
, then
and
.) □