哥德巴赫猜想之一是任何一个大于5的偶数都可以表示为两个素数之和,编程验证这一猜想.