By 1772 Euler had proved that 231 − 1 = 2,147,483,647 is a Mersenne prime.
Przed rokiem 1772 Euler dowiódł, że liczba 2 31 − 1 = 2 147 483 647 {\displaystyle 2^{31}-1=2\,147\,483\,647} jest liczbą pierwszą Mersenne’a.