Teorema Fundamental da Aritmética

O Teorema Fundamental da Aritmética diz que todos os números  pertencentes ao conjunto dos Naturais N={1, 2, 3, 4, 5, ..., 1000, 1001, 1002, ...}, maiores do que 1, podem ser decompostos em um produto de números primos, sendo esta decomposição única. 

A "brincadeira":
- provar que isso é verdade (que todos os números naturais são escritos na forma de um produto de primos)
- provar que é ÚNICA essa decomposição (essa é mais viajante)