同様に$$P'$$は$$3,5,\ldots ,p$$の倍数でない。
そして$$P$$は合成数より、$$P'$$は$$1$$より大きいから少なくとも1つの素因数をもつ。
また、$$\text{In}(P)=\frac12+\frac13+\ldots+\frac1p≧\frac12+\frac13+\frac15>1$$なのでPなので$$P'>P。P$$。
ゆえに$$P'$$は$$p$$より大きい素因数をもつ。
これよりいくらでも大きい素数を作れるので素数は無限個存在することが示された。