Resultado de la búsqueda: demostracion de contraejemplo