第4章 验证猜想