>>227
pが整数なら必ず素数となるpがとれると主張してるんだから矛盾が出て当たり前
2つ以上の仮定を持ち込む高木式背理法なだけ