请先生们用数理逻辑否定下题

cuikun-186

任取一个大奇数309,

请证明309=3+q1+q2

原创者：崔坤

证明：

根据三素数定理我们有：309=q1+q2+q3

根据加法交换律结合律，

必有题设：三素数：q1≥q2≥q3≥3

那么：309+3=3+q1+q2+q3

309+3-q3=3+q1+q2

显然，有且仅有q3=3时，309=3+q1+q2

故：309=3+q1+q2

证毕！

cuikun-186

最近大家有些累了，发言不积极了。

cuikun-186

三素数定理推论：Q=3+q1+q2

原创：崔坤

证明：
根据2013年秘鲁数学家哈罗德·贺欧夫格特已经彻底地证明了的三素数定理：
每个大于等于9的奇数都是三个奇素数之和，每个奇素数都可以重复使用。
它用下列公式表示：
Q是每个≥9的奇数，奇素数：q1≥3，q2≥3，q3≥3，
则Q=q1+q2+q3
根据加法交换律结合律，
必有题设：
q1≥q2≥q3≥3
Q+3=q1+q2+q3+3
Q+3-q3=3+q1+q2
等式右边只有3+q1+q2，与q3无关
同时有且仅有q3=3时，等式左边Q+3-q3=Q
则有新的推论：Q=3+q1+q2
左边Q表示每个大于等于9的奇数，右边表示3+2个奇素数的和。
结论：每一个大于或等于9的奇数Q都是3+2个奇素数之和
实际上：
数学家们验证了6至350亿亿的每个偶数都是2个奇素数之和，
那么6至350亿亿的每个偶数加3，就得到了：
9至3500000000000000003的每个奇数都是3+2个奇素数之和，
这验证了三素数定理推论Q=3+q1+q2的正确性。