验证2000以内的正偶数都能够分解为两个素数之和（即验证哥德巴赫猜想对2000以内的正偶数成立）-Verification is even less than 2000 can be decomposed into two prime numbers (ie verify Goldbach' s conjecture on the 2000 is even less than the establishment of)