144 奇妙的思路
“你这里有问题，没有用到我给你的工具。”
“不是，这里如果用筛选法是一样的，我计算过，数据没有问题。而且这样证明更简练。”
“的确，这里没有问题，但会让下个引理的证明增加很多不必要的工作量，因为需要引用到这一段证明过程，否则你需要重新多一个引理的证明。”
“额，嗯，让我看看……好吧
《科技尽头》144奇妙的思路正在手打中，请稍等片刻，
内容更新后，请重新刷新页面，即可获取最新更新！
“你这里有问题，没有用到我给你的工具。”
“不是，这里如果用筛选法是一样的，我计算过，数据没有问题。而且这样证明更简练。”
“的确，这里没有问题，但会让下个引理的证明增加很多不必要的工作量，因为需要引用到这一段证明过程，否则你需要重新多一个引理的证明。”
“额，嗯，让我看看……好吧
《科技尽头》144奇妙的思路正在手打中，请稍等片刻，
内容更新后，请重新刷新页面，即可获取最新更新！