Resultado de la búsqueda: correccion formal de un razonamiento