Redirecting to Lucas–Lehmer test for Mersenne numbers