Soit un entier naturel non nul ; et deux entiers relatifs.
« est divisible par »
« est un multiple de »