设计一个函数,用力判断一个整数是否为素数