Lagrida
Décomposition d'un entier non nul en produit de facteurs premiers
Définition: la décomposition en produit de facteurs premiers d'un nombre naturel non nul consiste à chercher à écrire ce nombre sous forme d'un produit de nombres premiers.
Théorème fondamental de l'arithmétique: tout entier strictement positif possède une décomposition unique en facteurs premiers.