Quel que soit l'entier naturel non nul

, on peut trouver une unique suite d'entiers naturels
)
(nulle à partir d'un certain rang) telle que

s'écrit sous la forme

, où

désigne le

-ième nombre premier (par exemple,

,

,

, ...). On appelle cela, la décomposition en facteur premier et elle est unique. La suite (a_n) étant nulle à partir d'un certain rang, on a

à partir de ce même rang. En conséquence de quoi, le produit "infini" est bien défini (ou a toujours un sens si tu préfères).
Pour revenir à ton problème, tu peux montrer que :
1) grâce à ce que j'ai dit, tout entier naturel peut se décomposer sous la forme
)
(on aura alors l'existence).
2) Si tu as
 = 2^{p'}(2q'+1))
alors tu as
=(p',q'))
(on aura alors l'unicité).
:+++: