Talk:Nagata's compactification theorem