全ての素数の積は偶数だよ
背理法で考えればわかる
奇数と仮定したら2が素数であることに矛盾する