Pour la condition nécessaire utiliser le lemme définissant une valuation et pour la condition suffisante écrire les décompositions de et en facteurs irréductibles.