como la comprobación de la coherencia de la solución