Rechercher tout d'abord une condition nécessaire en supposant que divise ; puis démontrer que la condition trouvée est suffisante.