Siegel%27s theorem on integral points