我也这样认为的。我是这样想的，如果有偶数2n，命P表所有不大于√2n（根号下2n）的素数的集合，p∈P时。只要证明：

card{（q₁，q₂）丨q₁=n－y，q₂=n+y，q₁+q₂=2n，y≢±nmodp}≥1时，偶数2n的哥德巴赫猜就成立。也可以说有两个大于√2n（根号下2n）的素数，可以表为：2n=q₁+q₂

上面的集合表示所有用大于√2n的素数，来表示偶数2n的哥德巴赫的分拆数，称为集合G2n。

例如当G2x50时（偶数100）时。集合card{y丨y≢±50modp}＝{3，9，21，33，39}。而这些元素与50相加减后分别是（53，47），（59，41），（71，29），（83，17），（89，11）。括号里的两个素数之和等于100。

到这里发现这个集合并不能计算。我们再用不是哥德巴赫分拆数的元素组成集合F2n。即{（n－x，n+x）丨（n－x）+（n+x）=2n，x≡±nmodp}。这个集合中每组元素至少有一个是不是素数的。用容斥原则集合F2n可以计算，这样就有：

card（G2n）～n/2－card（F2n）－√2n/2这就是偶数2n表两素之和个数的近似值