Equivalence of Pepin’s and the Lucas-Lehmer tests. (2009). European Journal of Pure and Applied Mathematics, 2(3), 352-360. https://www.ejpam.com/index.php/ejpam/article/view/245