>>671

>>505でつぎのように言ってただろ
少なくとも１つ存在することを仮定はしていません。このnがある最小値以上の値で全て
矛盾が生じることを証明している。
英語で書くと
For some n, ∀N⇒Composite such that n^2<N<(n+1)n
となる。