Siegel's Theorem on Algebraic Dimension