Nagell-Lutz theorem

From Wikipedia, the free encyclopedia