第十二章 验证猜想