Las pruebas existenciales de algoritmos de tiempo polinómico