En théorie des nombres et en théorie des nombres algébriques, le Théorème fondamental de l'Arithmétique -LRB- ou du Théorème d'Unique-Premier-Factorization -RRB- indique que tout entier supérieur à 1 peut être écrit comme un produit unique -LRB- jusqu'à l'ordre des facteurs -RRB - des nombres premiers.
Il doit donc être possible d'écrire a et b comme produits de première qualité, parce qu'ils sont tous les deux plus petits que n / O. Mais alors le produit