多项式时间内,证明某个数是或者不是质数