3+(M-3),5+(M-5),7+(M-7)
这三个算式中至少有一个算式是这样的：算式中的两个加数都不是3的倍数,假设是A+(M-A).
A+(M-A),A+2+(M-A-2),A+4+(M-A-4),A+6+(M-A-6),A+8+(M-A-8)
这五个算式中至少有一个算式是这样的：算式中的两个加数都既不是3的倍数也不是5的倍数。假设是B+(M-B)
……

A要么是5要么是7，
假如是5，那么不会被3筛去的两个算式是5+(M-5)和11+(M-11)，假如这两个算式都被5筛去，就说明M除以5是有余数的，既然(M-5)既不能被3整除又不能被5整除，那么就必须让更大的素数来举证(M-5)不是素数。