Soit deux entiers relatifs non nuls et :

si , alors ou .

Dans , cette propriété permet de montrer l'égalité de deux entiers :

si , alors .