实现一个判断素数的简单函数,并利用该函数验证哥德巴赫猜想