编写程序，验证哥德巴赫猜想：任何一个大于等于6的偶数均可表示为两个素数之和。