Lucas-Lehmer test

Summary