与哥猜相关的两个数学新定理及其证明

歌德三十年

定理一 若m∈{2ij+i+j/i，j∈N+} 则{1+2m}必表不小于9的奇合数。
证明：令m=2ij+i+j （i，j∈N+）
显然（2ij+i+j)∈{2ij+i+j/i，j∈N+}
故m∈{2ij+i+j/i，j∈N+}
那么 {1+2m}={1+2（2ij+i+j）}={（2i+1）（2j+1）}
显然 {（2i+1）（2j+1）}表不小于9的奇合数
证毕.
定理二 若m∈CN+{2ij+i+j/i，j∈N+} 则{1+2m}必表大于9的奇素数
证明：设m∈CN+{2ij+i+j/i，j∈N+}
则由 CN+{2ij+i+j/i，j∈N+}【*】{2ij+i+j/i，j∈N+}={}和（2ij+i+j）∈{2ij+i+j/i，j∈N+}知 {1+2m}≠2ij+i+j ∴ {1+2m}≠{1+2（2ij+i+j）}={（2i+1）（2j+1）}而{（2i+1）（2j+1）}表不小9的奇合数 ∴{1+2m}不能表不小于9的奇合数 故而只能表大于9的奇素数.
证毕
诚请各位网友斧正。

歌德三十年

纠错：上文中的定理二有误。误为“则{1+2m}必表大于9的奇素数”纠正为“
则{1+2m}必表奇素数”。
特此公告。

歌德三十年

各位网友：大家好。
本文已发十余天，浏览者众，评论者无。可闷煞我也。敬请大家开口说话吧。我将不胜感激。

歌德三十年

各位网友：大家好。
本文已发十余天，浏览者众，评论者少。可闷煞我也。敬请大家开口说话吧。我将不胜感激。
谢谢。

歌德三十年

欢迎王成5、trx等网友对我的两个新定理进行具体值的验证，数越大越有说服力。

王成5

     可惜呀，能不能把你的所谓的新定理正确的用到你的哥猜的证明中去。

歌德三十年

王成5：欢迎您的光临。对我的新定理验证过了吗？她正确与否。请表态回答。君子坦荡荡，小人常戚戚。拿出点君子应有的风度来好吗？
再见。

王成5

   你的新定理是正确的，但它已经不是什么新鲜东西了，好像很久很久以前就有人在用了，最早是孟加拉国的森的拉姆首先发现的，又叫森的拉姆筛法，我记不清了，你可以从网上查一查。

歌德三十年

王成5：您好。衷心佩服您的君子风度并感谢您的指教。如此看来，我不过是个井底之蛙，羞愧难当。
在次深表愧疚之意。

歌德三十年

王成5先生：您好。我已在网上查过森的拉姆筛法。的确与我的两个新定理有相通之处。但，新定理与筛法不是一回事。定理是对该筛法的升华---是对她的理论证明。不然的话，为什么不称其为“森迪拉姆定理”而称其为“拉迪姆森筛法”。我自信我的两个新定理有其存在的意义。您说对吗？
再见。