Move a lemma in dualizing.tex
Rewrite bootstrap conclusion as lemma

Make clear exactly what we've proved and what not.
Tags: Added new tags