Lemme de Gauss

Énoncé

Si a | bc et pgcd(a,b) = 1, alors a | c.

Preuve

Bézout : ∃u,v, au + bv = 1. Donc auc + bvc = c. a | auc et a | bvc (car a | bc). Donc a | c.