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).