简单的质数判断程序