Talk:Auerbach's lemma