Yes, it is, as are all the following:

Completeness Axiom

Heine-Borel

Nested Set

Bolzano-Weierstrass

Monotone Convergence

It is a corollary of the Lindemann-Weierstrass theorem.

In number theory, the fundamental theorem of arithmetic, also called the unique factorization theorem or the unique-prime-factorization theorem, states that every integergreater than 1 either is prime itself or is the product of prime numbers, and that this product is unique, up to the order of the factors.

It is also called Stinespring's factorization theorem.

In number theory, the fundamental theorem of arithmetic, also called the unique factorization theorem or the unique-prime-factorization theorem, states that every integer greater than 1 is either prime itself or is the product of prime numbers, and that, although the order of the primes in the second case is arbitrary, the primes themselves are not.