Nagell–Lutz_theorem loading ...