de comprobación de la coherencia de las soluciones