Soit et deux entiers naturels non nuls.
Soit et .
On a , et l'ensemble des multiples communs à et est l'ensemble des multiples de .