Sharpen a lemma

Remove bounded assumption which isn't necessary. This uses the improved
method of finding nice resolutions in the chapter on differential graded
algebra.
Tags: Added new tags