Teorema fundamental de la aritmética.

En el libro "Los números Primos" de Enrique Gracián se hace referencia al Teorema fundamental de la aritmética de Euclides el cual dice: "todo número natural se puede descomponer de forma única como producto de factores primos", es decir, los números que se obtienen al descomponer un número van a ser siempre primos, por ejemplo: 20 = 2 * 2 * 5 ó 20 = 2 ^ (2) * 5, donde 2 y 5 son primos, de igual forma sucede con cualquier otro número natural.
Además Euclides demostró que hay infinitos números primos.