编写程序验证哥德巴赫猜想：一个不小于6的偶数可以表示两个素数之和