差得很远全数组判定的近似算法的证据引理是如果一次测试以大于等于p的概率获得一个证据，那么s=/p轮测试得到证据的概率大于等于/