Lutz-Nagell theorem