Théorème de l'inversion de la divisibilité