Bézout's identity for polynomials