Supóngase que existe algún entero positivo que no puede representarse como producto de primos.