Простое число Софи Жермен

Просты́е чи́сла Софи́ Жерме́н — это такие простые (....), что (....) тоже простое:

Софи Жермен доказала Великую теорему Ферма для показателей, являющихся простыми этого вида. Как и для простых чисел-близнецов, предполагается, что количество таких чисел бесконечно, но это не доказано.