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 ).