Then there is an F' e F such that |FNF"| < k and the triple (F, G, ... there is a subset F, G F such that |F, < x and (F–F, {g}, D) is k-consistent.
確定! 回上一頁