Talk:Localization theorem