编写一个函数，判断一个正整数是否为素数。并调用这个函数。