“你這里有問題，沒有用到我給你的工具?！?p>　　“不是，這里如果用篩選法是一樣的，我計算過，數(shù)據(jù)沒有問題。而且這樣證明更簡練。”

　　“的確，這里沒有問題，但會讓下個引理的證明增加很多不必要的工作量，因為需要引用到這一段證明過程，否則你需要重新多一個引理的證明?！?p>　　“額，嗯，讓我看看……好吧，寧，你是對的。我本以為這里會讓你覺得驚喜?！?p>　　“那個，多米尼特，你是不是對...