直感的には多分正しい
無限まで持ち出されて絶対に無いと言い切れる方がおかしい
コンピュータによっても、むっさ大きい双子素数の存在が示されている