mula_20是它在所有素数的有序集合中的索引），则formula_19为强素数当且仅当formula_22。下面列出最小的几个强素数：11, 17, 29, 37, 41, 59, 67, 71, 79, 97, 101, 107, 127,137, 149, 163, 179, 191, 197, 223, 227, 239, 251, 269, 277, 281, 307, 311, 331, 347, 367, 379, 397, 419, 431, 439, 457, 461, 479,