任何一个大于2的偶数都可以表示成两个质数之和。验证哥德猜想中的最小偶数4是否可以表示成1和2两个质数之和。根据哥德猜想，4可以表示成2+2的形式，而2是质数，因此哥德猜想1+2成立。