Talk:Robbins lemma