Talk:Kelly's lemma