用户输入一个数字，判断这个数字是否是质数。