<page_title> Mersenne prime </page_title> <section_title> List of known Mersenne primes </section_title> <table> <cell> 127 <col_header> p </col_header> </cell> <cell> 1876 January 10 <col_header> Discovered </col_header> </cell> <cell> Édouard Lucas <col_header> Discoverer </col_header> </cell> </table>
Édouard Lucas proved in 1876 that M₁₂₇ is Mersenne prime.