第25章 验证猜想