verificación de la solución