陳素数
263 = 素数、陳素数、12番目の安全素数、15番目の8n - 1型の素数