怎样证明一个数是素数