“你这里有问题，没有用到我给你的工具。”

“不是，这里如果用筛选法是一样的，我计算过，数据没有问题。而且这样证明更简练。”

“的确，这里没有问题，但会让下个引理的证明增加很多不必要的工作量，因为需要引用到这一段证明过程，否则你需要重新多一个引理的证明。”

“额，嗯，让我看看……好吧，宁，你是对的。我本以为这里会让你觉得惊喜。”

“那个