Siegel's theorem