第二十五章 验证猜想