Redirecting to Nagell–Lutz theorem