>>950
しかし最初に仮定した奇素数以外の値をpがとる可能性がある条件で矛盾を引き出した方法を、pが取りうる値が唯一であると仮定した場合に適用できないので、いかなる条件でも矛盾したとはいえません