Original: Proof of existence of a prime factorization is straightforward: proof of uniqueness is more challenging.
Simplified: Proof