>>220
n<p<n(n+1)を満たす整数pが全て合成数(非素数)であると仮定して矛盾を導くから。
「整数pが全て合成数(非素数)である」が否定されることになり
「少なくとも一つのpは素数である」が成立する。

>>222
失敗は成功のもと