Théorème de l'unicité de la factorisation des nombres premiers