Existence of an Integral Basis