乔恩·肖恩菲尔德：@Daniel——谢谢你的贡献。不过，我认为很容易证明你的猜测。由于k+3是素数的3倍，k+3显然可以被3整除，因此k也可以被3除尽，所以k模12是0、3、6或9。类似地，由于k+2是素数的两倍，k+2可以被2整除，因此k也可以被2除尽，所以k模12不能是3或9；这使得k模12等于0或6。如果k mod 12=6是真的，那么（k+2）mod 12将是8，所以素数p=（k+2）/2必须满足p mod 6=4，这是不可能的（因为p将是大于2的偶数，这不可能是素数）。因此，k mod 12剩下的唯一选项是0。（我猜我刚才演示的方式可能很笨拙，但这正是我刚才想到的。）：-）
