Démontrer un critère de divisibilité