Seule l’existence et l’unicité de la décomposition en facteurs premiers ne sont pas démontrées de façon générale ; toutefois Euclide démontre explicitement que tout entier est divisible par un nombre premier.
— Bourbaki, Nicolas, « Éléments d’histoire des mathématiques » (1960), p. 110