two lemmas for bootstrap thm