这种定理应当有两个，一个是陈景润著作中的引理6，一个是王铁良推导得出的（1+1）表示式生成定理.（自命名，由引理6推论得出）引理6刊载于陈景润《初等数论1》中的第一章第6页。（科学出版社，1978年第一版书号是13031.915）有定理原文和证明，这里录出定理，证明部分因不便打数学符号，而略去。引理6原文：如果a是一个大于1的整数，而所百≤✔a的素数都除不尽a，则a是素数。此定理显然是素数判别的基本法则，而且，通俗易懂，简明扼要。灵活运用相关知识一一同余理论和筛法原理等，对引理6进行扩展和推论就可得出（1+1）表示式生成定理。王铁良给出如下推导和论证过程，当我们取偶数N≥16和16所对应的N/2以内的奇素数卩作为研究对象时，因为N一P也是大于1的整数<✔N的奇素数3，5，7……g也一定存在所以当N一P不能被奇素数3，5，7……g整除时，N一P也一定是一个奇素数P撇。又由同余方法对上述除法关系进行变换，当N与P对一个模g不同佘时，必有g不能整除N一P，当一个P历遍模3，5，7…9都与N不同佘时，必有所有的g都不能整除N一P，此时，根据引理6，N一P也是一个奇素数。也即，当某一个P历遍模g都与N不同余时，一定有表示弍式N一P=奇素数P撇成立，这个表示式就是一个N的（1+1）表示式的变形形式，王铁良又由上述（1+1）表示式生成定理，推导出了求N的D（N）值个数的公式，公式是：D（N）=π（N/2）一U，其中u表示与N同余的P的个数（以<✔N的奇素美数3，5，7……g为模）P表示≤N/2的所有奇素数，此公式可转换为另一个适用于求大偶数D（N）下限值的公式！公式是：D（N）>π（N/2）÷✔N，用素数定理处理此公式可得出D（N）值大于✔2的最终结论，因而，哥猜A成立！