Closing Lemma by Chris Dench