Основная теорема о числах Мерсенна гласит, что для того, чтобы Mn было простым числом Мерсенна, показатель n сам должен быть простым числом.
Простое число Мерсенна - это число Мерсенна, которое является простым числом.