History

for article: Lucas–Lehmer–Riesel test