Small lemma in bootstrap.tex