第二十七章、验证猜想