Vaughan's lemma