すべて整数ならばある素数が存在する

必ず素数を選択できる