Una solución "x" existe si y solo