素数が一般形の式で記述できるなら、数学的帰納法で「すべての素数の積は偶数になる」が言えるか
ただ、素数の一般式なんて見つけたらフィールズ賞もんだし