$\definecolor{red}{RGB}{255,0,0}$$\definecolor{black}{RGB}{0,0,0}$ : Decomposition of a positive integer into a product of prime numbers

To find its prime factorization,
introduce a positive integer> 1:
(can last ...)