Talk:Isolation lemma