“两个凡是”证哥猜

马勒隔壁恴

凡是不会导致逻辑矛盾的反例类型都对应一个“奇合数+2”型奇数。
凡是“奇合数+2”型奇数都对应一个不会导致逻辑矛盾的反例类型。
因为不会导致逻辑矛盾的反例类型和“奇合数+2”型奇数一一对应，
所以偶数和“奇素数+2”型奇数都不可能出现反例类型。
11=2+9=3+8=4+7=5+6
反例类型：“一个2加几个3、一个3加几个2 且 每个正整数加法算式中都有2的倍数或3的倍数”的大于3的平方的正整数。
17=2+15=3+14=4+13=5+12=6+11=7+10=8+9
反例类型：“一个2加几个3或几个5、一个3加几个2 且 每个正整数加法算式中都有2的倍数或3的倍数或4的倍数”的大于4的平方的正整数。
23=2+21=3+20=4+19=5+18=6+17=7+16=8+15=9+14=10+13=11+12
反例类型：“一个2加几个3、一个3加几个2或几个5 且 每个正整数加法算式中都有2的倍数或3的倍数或4的倍数”的大于4的平方的正整数。
27=2+25=3+24=4+23=5+22=6+21=7+20=8+19=9+18=10+17=11+16=12+15=13+14
反例类型：“一个2加几个5、一个3加几个2或几个3、一个5加几个2 且 每个正整数加法算式中都有2的倍数或3的倍数或4的倍数或5的倍数”的大于5的平方的正整数。
29=2+27=3+26=4+25=5+24=6+23=7+22=8+21=9+20=10+19=11+18=12+17=13+16=14+15
反例类型：“一个2加几个3、一个3加几个2、一个5加几个2或几个3 且 每个正整数加法算式中都有2的倍数或3的倍数或4的倍数或5的倍数”的大于5的平方的正整数。
35的反例类型：“一个2加几个3、一个3加几个2、一个5加几个2或几个3或几个5 且 每个正整数加法算式中都有2的倍数或3的倍数或4的倍数或5的倍数”的大于5的平方的正整数。
37的反例类型：“一个2加几个5、一个3加几个2、一个5加几个2 且 每个正整数加法算式中都有2的倍数或3的倍数或4的倍数或5的倍数或6的倍数”的大于6的平方的正整数。
41的反例类型：“一个2加几个3、一个3加几个2、一个5加几个2或几个3 且 每个正整数加法算式中都有2的倍数或3的倍数或4的倍数或5的倍数或6的倍数”的大于6的平方的正整数。
47的反例类型：“一个2加几个3或几个5、一个3加几个2、一个5加几个2或几个3 且 每个正整数加法算式中都有2的倍数或3的倍数或4的倍数或5的倍数或6的倍数”的大于6的平方的正整数。
51的反例类型：“一个2加几个7、一个3加几个2或几个3、一个5加几个2、一个7加几个2 且 每个正整数加法算式中都有2的倍数或3的倍数或4的倍数或5的倍数或6的倍数或7的倍数”的大于7的平方的正整数。
……