Talk:Liberman's lemma