Por Proposición7.2 haym,n∈Z tales quema+nb=1. Por lo tantocma+cnb=c. Claramentea∣cnb( desdea∣cb) ya∣cma. Vamos\[a=\prod_{n=1}^{N-1...Por Proposición7.2 haym,n∈Z tales quema+nb=1. Por lo tantocma+cnb=c. Claramentea∣cnb( desdea∣cb) ya∣cma. Vamosa=N−1∏n=1an y supongamos quep∣(N∏n=1an). Entoncesp∣a⋅aN. Sip∣a, entonces por la hipótesis de inducción,(∃n<N)p∣an. Supongamos que nop es un factor dea; ya quep es primo, gcd(p,a)=1.