Lucas–Lehmer test (LLT) is a primality test for Mersenne numbers 2^p-1. The test was originally developed by Édouard Lucas in 1878[1] and subsequently proved by Derrick Henry Lehmer in 1930.