希尔伯特第八问题有望终结：孪生素数猜想获证！(21)

2. 由于 9（k 2 t 2 1）是孪生素数之和的结构，一旦获悉它是一对素数之和时，它就一定是两个孪生素数，其他素数差值不同，模数结构不同，无法同孪生素数的模数结构一致，因此可证明梁定祥猜想成立。因为 n2 属于 n 的一个子集。到此，梁定祥猜想强版以及梁定祥猜想弱版也就获得了完全证明。
这个证明结论可以推理出，孪生素数是无穷的。另外，由 于孪生素数之和可以表示所有的18n，可以推理出，共轭差不同的素数对会产生， 至少共轭差 2k 2 或 2k-2 的素数对会出现，由此迭代推演： 将 2k1 2=2k 带入 2k 2 就会得到 2k1 4； 将 2k1 4=2k 代入 2k 2 就会得到 2k1 6；……以此类推；将 2k1 2m-2=2k 代入 2k 2 就会得到 2k1 2m。 到此差值 0 到 2m 的共轭素数对都得到了，故共轭素数对 p q=2m，哥德巴赫猜想获得证明。所以梁定祥猜想和斋藤猜想一样，都是同哥德巴赫猜想等价的命题。
根据哥德巴赫猜想的推论（p1-p3）-（p4-p2）=2 有无穷组，即共轭差之差等于2的奇素数对有无穷组。只要共轭差等于任何偶数2k的素数对有无穷组， 那么就可以推理出共轭差等于2k-2 的素数对就有无穷组，于是就可以递推到差值为2的素数对有无穷组。虽然可以绕过哥德巴赫猜想直接证明梁定祥猜想，但绕不过相邻论，可以用相邻论的思想直接证明梁定祥猜想。
龙头偶数 2p 2 的两素数表达，必须要 有孪生素数存在才能表示，如果不存在表示，那么其他共轭素数对甚至素数多 项式也无法完成表示。 因为根据哥德巴赫猜想的推论（p1-p3）-（p4-p2）=2 有无穷组，即共轭差之差等于2的奇素数对有无穷组，只要共轭差等于任何偶数2k的素数对有无穷组，那么就可以推理出共轭差等于 2k-2 的素数对就有无穷组，否则无法获得后继偶数，于是就可以递推到差值为 2 的素数对有无穷组。可见没有孪生素数之和表达龙头偶数的假设是不真的，它是递推的基础，故每个龙头偶数都必有孪生素数之和可表示，这个结论就替代了哥德巴赫猜想， 可以用来证明梁定祥猜想成立，但仍在相邻论的证明方法中。
总结
有位作家说，人的一生很像是在雾中行走，远远望去，只是迷蒙一片，辨不出方向和吉凶。可是，当你鼓起勇气，放下忧惧和怀疑，一步一步向前走去的时候，你就会发现，每走一步，你都能把下一步路看得清楚一点。“往前走，别站在远远的地方观望！”你就可以找到你的方向。这就是素数不存在通项公式但存在迭代表达的文学描述。