Source: https://perso.univ-rennes1.fr/david.bourqui/enseignement/1920/2019-2020-ANAR-notes-de-cours-euclidien-principaux-factoriels-III.pdf