resultant[ resultant[ x^2 - a x + 1, a^2 - a - 1, a ], x^4000 - b x^2000 + 1, x ]