Ahora supongamos qued≠1. Dado quegcd existe un primop tal quep \mid d yp \notdivide c\text{.} Además, dado que los coeficientes de\alpha_1(x) son...Ahora supongamos qued \neq 1\text{.} Dado que\gcd(c, d) = 1\text{,} existe un primop tal quep \mid d yp \notdivide c\text{.} Además, dado que los coeficientes de\alpha_1(x) son relativamente primos, existe un coeficientea_i tal quep \notdivide a_i\text{.} De igual manera, existe un coeficienteb_j de\beta_1(x) tal quep \notdivide b_j\text{.} Let\alpha_1'(x) y\beta_1'(x) ser los polinomios en{\mathbb Z}_p[x] obtenidos reduciendo los coeficie…
