∀ n ∈ N, ∃ p1​, p2​,…, pk​ ∈ P, ∃ e1​, e2​,…, ek​ ∈ N such that n=p1^e1​​ x p2^e2​​ x ⋯ x pk^ek​​

Where:

N is the set of natural numbers.
P is the set of prime numbers.
p1​,p2​,…,pk​ are distinct prime numbers.
e1​,e2​,…,ek​ are the respective powers (non-negative integers) of those primes.