Lucas–Lehmer residue