Let X be defined to be:

X .

Let X be defined to be:

X .

Let X be the Sylvester matrix of X andX :

X .

Then the resultant is the determinant of X , i.e.

X