公式对任意次数不超过m的多项式准确成立，而对不准确成立