Theorem (Rothstein) Let
be
polynomials with
square free (i.e., there are
no squared or higher degree factors in its factorization) and
suppose that the degree of
is less than the degree
of
(
). Then

where
are the distinct roots of the
polynomial
and
for
( Res is the resultant ).