三元方程解集基底互素定理可解决大量未解的丢番图问题(13)

如此t就没有新奇素因子可构造，加上2p1 2p2 =2^w ，而2^w存在2^3=3 5为可表偶数，t与偶素数2也互异，故例外偶数2p´不存在。从而证明所有素数的两倍所得2p都是可表偶数，皆能用两个互异的奇素数之和表示。从而也证明了，可表偶数集合2m蕴含了所有的素数因子。这就是可表偶数蕴含所有素因子定理的证明。
3.0 定理：任意两互异奇素数之和与大于6的全体偶数同构。
这是一个比欧拉版更强的互异版哥德巴赫猜想，而哥德巴赫最早提出的三素数猜想可归约为欧拉版的哥德巴赫猜想。互异版哥德巴赫猜想获证的意义是，原来数乘本原解三元方程等式右边偶数集不会扩域，点乘基底解三元方程等式右边偶数集不会扩域，以下就来证明。
“任意偶数可互异素数分割命题”定义：笔者把欧拉版哥德巴赫猜想进一步归约为一个更强命题，任何一个大于6的偶数都可以写成2个互异的奇素数之和。互异版哥德巴赫猜想为真，则欧拉版哥德巴赫猜想就为真，反之不能直接推出。 即2n=p q，n＞3，p和q为互异的奇素数，这就是“任意偶数可互异素数分割命题”。

哥德巴赫猜想获证，体现了心外无物是真实不虚的。
“例外偶数是空集”命题：例外偶数因无基底解，导致无通解。不蕴含生成元的扩域集是不存在的。抛弃同类中的异类也就等于抛弃自己，抛弃自己也就等于抛弃同类中的异类。我仅服务于不服务自己的人民（这是不存在的乌托邦）。正则公理排除了它，但选择公理支持有基底解，例外偶数不行，可表偶数还是可行的。
证明：与可表偶数互异存在的例外偶数，因互异而至少有例外偶数首项生成元与可表偶数相邻，例外偶数与可表偶数之间以及例外偶数与不同例外偶数之间，因须首项偶数相邻互素，故始终没有非2公约数，例外偶数首项生成元与可表偶数因互异而必有首项相邻，因相邻而必须m与h基底互素（自然数相邻互素定理已证）。
而上文已证明，可表偶数2m中的m蕴含所有素因子，h既然要与所有的素因子互素，在三元方程m 1=h中，由于解集m与1互素，解集h与1互素，加上根据定义m与h是互异解集，根据“三元方程互异解集基底互素定理”，故解集m必与解集h基底互素。也就是说，例外偶数的素数因子被所有基本偶数的素数因子所筛选，从而没有素数来构造它。