Solution (source code)

= Solution
{c}

The <fundamental theorem of arithmetic> says that every integer $n>1$ is a product of <prime numbers>, uniquely up to reordering. Equivalently, $n=\prod_p p^{a_p}$ for a unique family of nonnegative integer exponents, only finitely many of which are nonzero.