陳素数
257 = 素数、3番目のフェルマー素数、陳素数、3連続整数の8乗和（0 + 1 + 2）