Prime factorization/Existence/Fact

Every

natural number ${}n\in \mathbb {N}$, ${}n\geq 2$,

has a factorization into prime numbers.

That means there exists a representation

${}n=p_{1}\cdot p_{2}\cdots p_{r}\,$

with prime numbers ${}p_{i}$.

Write a proof 2, Write another proof