added a lemma to prove the offline bootstrap follows the probability matching