对于偶数N的有关以连乘式的素对下限即r=j*1/3*3/5*5/7*…*(p-2)/p＞j/p≈√N/4；
于此相应的是其基础逻辑的连减式即r=
jNp₁y-(jNp₂y+jNp₃y+…+jNp)；
设想，如果在其中逐步筛除缩减的过程中，总有一些超额的筛除量，首先一方面展开细致操作以给出一定量步骤中的每个步骤的筛除缩减的实际真值，同时另一面将可能存在的额外筛除缩减量相加累计；直到这些确定的超额累计量达到一个希望存在的k值，使得以后的所有筛除缩减量的总和都将无法大于k，这样我们就对于哥猜完成了确定的证明。
即使k值并不容易出现，但至少从这些相关的所有考量操作中，总能有些未曾被认知到的真相。
对于≥6任意偶数N，［3，N-3］内所有奇数量记为2j=(N-4)/2，若将其中的素数量、合数量分别记为s、h那么s+h=2j；
由这2j个奇数所形成的所有均等和于N的奇数对量为j=(N-4)/4，其中的素对量记为r，合数对量记为c，素合对量记为w；那么有s=2r+w，h=2c+w，j=r+c+w，
则有r=j-c-w；
令√N内最大素数记为p，连乘及连减式逻辑，即是逐一筛除去由p₁、p₂…、p各自所形成的互不重复的合数构成的奇数对量c、w；
从jN=(N-4)/4开始逐步筛去的由素数p形成的所有数对数量记为jNqpn，相应的剩余量数对数量即记为jNqpny=jNqpₙ₋₁y-jNqpₙ，简记为qpny=qpₙ₋₁y-qpₙ；
在开始筛除第一个素数3之前，将3n类的中的任一偶数记为B，并令B+2=X，B+4=D，各自所相应奇数以其小写符号表示，它们逻辑关系各自彼此都相离而无交集。
在筛完第一个素数3之后，将N以其个位数为标记分为m2、m4、m6、m8、m0这5类;
又令un+N-un=N，
一下是一些已经完成了的jNmqpnuny(其中n的表达对象并不相同而其值也不要求等同，另外为简便j的符号可以省略)真值的式：
jNq2y=(N-4)/4；
jBq3y=jBq2y-jBq3=(B-4)/4-(B-3-3+6)/12=(B-6)/6，
jXq3y=(X-4)/4-(X-5-9+6)/6=(X+4)/12，
jDq3y=(D-4)/4-(D-7-9+6)/6=(D+8)/12；
jB2q5y=(B2-6)/6-(B2-12)/15=(B2-2)/10，jB4q5y=(B4-6)/6-(B4-24)/15=(B4+6)/10，jB6q5y=(B6-6)/6-(B6-21)/15=(B6+4)/10，jB8q5y=(B8-6)/6-(B8-18)/15=(B8+2)/10，jB0q5y=(B0-6)/6-B0/30=(2B0-15)/15；
jX2q5y=(X2+4)/12-(X2-2)/30=(X2+8)/20，
jX4q5y=(X4+4)/12-(X4-14)/30=(X4+16)/20，
jX6q5y=(X6+4)/12-(X6-26)/30=(X6+24)/20，
jX8q5y=(X8+4)/12-(X8-8)/30=(X8+12)/20，
jX0q5y=(X0+4)/12-(X0-20)/60=(X0+10)/15；
jD2q5y=(D2+8)/12-(D2-22)/30=(D2+28)/20，
jD4q5y=(D4+8)/12-(D4-34)/30=(D4+36)/20，
jD6q5y=(D6+8)/12-(D6-16)/30=(D6+24)/20，
jD8q5y=(D8+8)/12-(D8-28)/30=(D8+32)/20，
jD0q5y=(D0+8)/12-(D0+20)/60=(D0+5)/15；
jX2q'7u13=(X2-20)/42，
jX2q7u13=X2q'7u13-X2q'7u13∩X2q5=(X2-20)/42-(X2-62)/105=(X2+8)/70，
jX2q7u13y=X2q5y-X2q7u13=(X2+8)/20-(X2+8)/70=(X2+8)/28；
jX2q7u19y=X2q5y-X2q7u19=(X2+8)/20-(X2+58)/70=(X2-12)/28；
这里最后一个式子所表明的状况，使我们原来计划的思路有些麻烦。