编程验证哥德巴赫猜想的思路