Talk:Nagell–Lutz theorem