Lucas–Wieferich prime