There are at least two Siegel's theorems. The first states that an elliptic curve can have only a finite number of points with integer coordinates.
The second states that if is an algebraic number
of degree
,
then there is an
depending only on
such that
for all integer
and
(Landau 1970, pp. 37-56; Hardy 1999, p. 79).