Si et sont deux entiers naturels non nuls et si divise alors .

Si , et sont trois entiers naturels non nuls alors .