Adds statement of a derandomization lemma.