Mersenne prime
ことが彼の著書『原論』で証明されている。 が素数であるためには が素数である必要がある（証明はメルセンヌ数#基本的な性質を参照）ため、 が素数となる素数 の探求が現在でも行われている。