判断输入的一个正整数是否是素数。