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