A formal theory of resultants (II): a constructive definition of the resultant