・割り切れない
・積は最大の素数より大きいので素数ではない
・積はある素数qの倍数となる


これらの条件がないと、矛盾を見付ける背理法でもってけないだろ。バカ？