Talk:Krasner's lemma