>>11
どちらも有限個でない証明がいるんじゃね?
双子素数の無限存在の十分条件だな(´・ω・`)