>>692
素数が存在しないと区間があると仮定すると矛盾が起きるようにする背理法で、素数の非存在に関して書かないのありえないっしょw