changes theorem 6.1

put condition on exponents back in because of complications in taking it
out, added a more explicit description of what to do when the basis is
not regular. Still want to include Gerkmann's alternative bounds
(without proof?) in our notation at the end of the section.