推论1:对于偶数2(2+N),当N>3时,I>=3
证明:若N>3时,这时的连表最大数是I,根据引理4,存在一个数J,使得0<J=<I,
2J+1和2(2+N+I-J)+1是一对素数,
1、当I>3时,所证成立;
2、若I=1时,2J+1和2(2+N+I-J)+1是一对素数,
即:3和2(2+N)+1是一对素数,若不是一对素数则与引理4不符。
由于5和2(2+N)+1也是一对素数,7和2(2+N)+1也是一对素数,
能够在原来的基础上继续连表,根据连表最大数定义,
1不是2+N的连表最大数,一定有I>=3;
3、I=2时,2J+1和2(2+N+I-J)+1是一对素数,
即:5和2(2+N)+1是一对素数,或3和2(2+N+2-1)+1是一对素数,
若不是一对素数则与引理4不符。
(1)、对于5和2(2+N)+1是一对素数,由于7和2(2+N)+1也是一对素数,
能够在原来的基础上继续连表,根据连表最大数定义,
2不是2+N的连表最大数,一定有I>=3;
(2)、对于3和2(2+N+1)+1是一对素数,
由于5和2(2+N+1)+1也是一对素数,7和2(2+N+1)+1也是一对素数,
能够在原来的基础上继续连表,根据连表最大数定义,
1不是2+N+1的连表最大数,一定有I>=3;
总上所述,命题成立。
证明:若N>3时,这时的连表最大数是I,根据引理4,存在一个数J,使得0<J=<I,
2J+1和2(2+N+I-J)+1是一对素数,
1、当I>3时,所证成立;
2、若I=1时,2J+1和2(2+N+I-J)+1是一对素数,
即:3和2(2+N)+1是一对素数,若不是一对素数则与引理4不符。
由于5和2(2+N)+1也是一对素数,7和2(2+N)+1也是一对素数,
能够在原来的基础上继续连表,根据连表最大数定义,
1不是2+N的连表最大数,一定有I>=3;
3、I=2时,2J+1和2(2+N+I-J)+1是一对素数,
即:5和2(2+N)+1是一对素数,或3和2(2+N+2-1)+1是一对素数,
若不是一对素数则与引理4不符。
(1)、对于5和2(2+N)+1是一对素数,由于7和2(2+N)+1也是一对素数,
能够在原来的基础上继续连表,根据连表最大数定义,
2不是2+N的连表最大数,一定有I>=3;
(2)、对于3和2(2+N+1)+1是一对素数,
由于5和2(2+N+1)+1也是一对素数,7和2(2+N+1)+1也是一对素数,
能够在原来的基础上继续连表,根据连表最大数定义,
1不是2+N+1的连表最大数,一定有I>=3;
总上所述,命题成立。










