第6章 证明困难(第4页)