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