resultant( 4z(y^2+1)-5y(z^2+1), xy+yz+zx-1, z )