第8章 验证猜想