Esto es, demostró la existencia de dicho conjunto, pero no de forma algorítmica sino mediante un teorema de existencia.