Talk:Krull's separation lemma