≥6的2n都能用P1+P2来表示。这就是哥德巴赫猜想。这是一道无穷命题，必定要有奇素数的无穷数理，才能完满地证明它。验证不完数理通。∵P∞，∴P〈N+1〉必∞。
掌握相邻素数之差 、运用相邻素数之差，是证验哥猜的基本方向。