任一偶数不能被之内所有奇素数整除，哥德巴赫猜想本质

任一偶数都不能被其内所有奇素数都整除，决定哥德巴赫猜想成立。280年哥德巴赫猜想，280字内证明。
偶数2N≥2n≥2、2N≥6，Pa取遍2N内所有的奇素数，因任一2n都不能被2N内所有奇素数整除，则任一 2N≥2n 对应的“Pa+2n ”、“Pa+2N”、“2N-Pa ”中都必有素数的情形。
证明视频：任一偶数都不能被其内所有奇素数整除，决.... 。

赞

72版是分2步证明的，蓝红部分就是第一步，是数论常识，难点在于想到用此数论常识作为第一步证明哥德巴赫猜想。
红蓝部分之后的内容，就是证明哥德巴赫猜想的第二步。
哥德巴赫猜想证明的难点就在此，就是怎样把第一步习以为常的数论常识知识点，推导出总有素数保持对大于2的整数对称。

2N≥6，Pa为2N内奇素数，2N≥2n≥2，因2n不能被2N内素数都整除，就可得任一2N内任一2n对应的Pa＋2n中必有素数。进而可得出数轴上总有素数保持对大于等于“3+n”的整数对称，哥德巴赫猜想得证。
将2个数论常识知识点结合起来，进行2步常规推导，就完成对困扰地表人类280年数学难题(哥德巴赫猜想、孪生素数猜想)的证明。

我核对此教材，没有发现书中有提到“大于2的偶数或整数不能被之内素数都整除”的论述及其应用。
可见，为什么厚厚一本教科书无法完成证明哥德巴赫猜想的知识空白区。

AI 都是学渣级别的，无法理解2个数论常识知识点结合起来的第一步推导。
AI 无法理解2N≥2n≥2的数学意义，此数学前提就决定第一步逻辑推导成立。不然，第一步逻辑推导就不成立。
78版中，在第二步证明逻辑中，增加为什么M≥4可以一直连续取值都成立的一行数学。

证明哥德巴赫猜想的数学在几千年前就具备而无须素数定理参与。

无须素数定理，从任何大于2的偶数都不能被之内素数都整除，就是任何大于2的偶数的共性出发完成证明哥德巴赫猜想，就是数学本质一般化的证明。
仔细看理论证明、或形式化证明，都明确表述清楚为: 2N－Pa中必有素数，而不是2N－Pa都是素数。

2N≥2n≥2，2n就像几何题中的辅助线一样，其充分运用算术基本定理而2步完成对哥德巴赫猜想的证明。
人类几十年前就困在无法完成证明2N－Pa中必有素数。而将以上命题进一步表述为:严格证明总有素数保持对大于2的整数保持对称。
那么，就完成证明哥德巴赫猜想。