Nagell–Lutz theorem

The Nagell–Lutz theorem is a result in the theory of Diophantine equations, specifically concerning the representation of integers as sums of powers of natural numbers. It states that if a prime \( p \) can be expressed as a sum of two square numbers, i.e.