Talk:Separation theorem