我们有：

1)  素数定理: 素数个数π(x) = x/lnx

2)   2N - P_x ≠ 0mod(P_i) 的概率为P_i-2 / P_i-1，其中  2N ≠ 0mod(P_x)，N正整数，P_x为小于2N的素数，P_x ≠ P_i。

    这一条姑且称为： 差素定理

3)  定义 q_i = (P_i-2)/(P_i-1), 其中P为素数，i为序列编号。P₁=2， P₂=3 ……

    定义 Q_i=q₂*q₃*…*q_i

4)  因此任意 2N =2ⁿ* P_a^x*P_b^y*P_c*^z…P_k^f  ，对于A = 2N-P (P为小于2N的素数，2N≠0mod(P).),

    令 小于 (2N)^0.5的最邻近素数为P_j

    则 A为素数的概率 > Q_j / (q_a*q_b*q_c*...*q_k)  - f（2N）    定义f（2N） 为2N的因子个数不包含2和重复因

    子。                        

    说明：2N  - P_a等必然为合数，2N - P(P≠P_a、P_b、)必然不能被P_a、P_b等整除，再去掉其他所有小于P_j的倍

     数，剩余的即为质数。

    则 2N 减去 所有小于 2N的 素数，仍然为素数的概率个数大于 :

                              π(2N)*Q_j/(q_a*q_b*q_c*...*q_k)  -  f（2N）

   这一条姑且称为：1+1拆分定理

5) 取几组2N实际验证结果如下：

6) 考虑到2N范围素数相加的对称性， 则对于 2N 可以拆成 1+1 素数对的概率个数B(2N)可以近似表示为：

     B(2N) =    [π(2N)*Q_j/(q_a*q_b*q_c*...*q_k)  -  f（2N）]/2

7)  下一节证明 整体上B(2N) 是个随着2N增加而增加的递增函数。 这样，不仅证明怎么了哥德巴赫猜想，还从理论上给出了，可以拆成1+1的素数对 的 组数 公式（公式已有，如上）。