State/Uniqueness of prime factorization

 =Proof= We prove the result by induction on $k$ (the length of the sequence $p_1, \ldots, p_k$: