第6章 证明困难