Lucas-Lehmer-Riesel test
 
x
OK