よって複素係数多項式formula_27とformula_28を、formula_29が成り立つようにとることができる(ベズーの補題)。