Fundamental Theorem of Arithmetic

Any positive integer $n\ge 2$ has a unique prime factorization. In other words,

$$n=p_1^{e_1}\dots p_r^{e_r}$$

where $p_i$ are primes, and $e_i$ are positive integers. The expression is unique up to index reordering.