  We establish some cohomological bounds in D-module theory that are known in
the holonomic case and folklore in general. The method rests on a
generalization of the b-function lemma for non-holonomic D-modules.
