Finite nr of primes implies small dimension

Added some missing lemmas on this in order to have something
to refer to in a later result.

Thanks to JuanPablo.
http://stacks.math.columbia.edu/tag/02ML#comment-954