有效利用猜想验证解决问题