PPCM, PGCD et divisibilité