>>464(解説)
まず2*3*5*‥‥という無限積を見る。
このうち任意の箇所を1に換えたものは素数の無限積である。
これらを縦に並べる。
対角線を見る。
対角線上の素数を1に、1を素数に換える。
対角線論法のできあがり。
#Xは#Nより真に大きい

これで素数の無限積を用いた反証は不可能。