\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
Soient \(a,b,d\) trois entiers naturels non nuls.
Si \(d \mid a\) et \(d \mid b\), alors \(d\) doit également diviser :